Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций: история изменений

7 июля 2014

• текущ.пред. 14:2214:22, 7 июля 2014‎ Mikst обсуждение вклад‎ 15 647 байт −2795‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T

6 июля 2014

• текущ.пред. 12:4012:40, 6 июля 2014‎ Mikst обсуждение вклад‎ 18 442 байта 0‎ →‎Этап 1. Без компиляции тела лямбды

1 июля 2014

• текущ.пред. 00:1900:19, 1 июля 2014‎ Mikst обсуждение вклад‎ 18 442 байта +2‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T

30 июня 2014

• текущ.пред. 17:4717:47, 30 июня 2014‎ Mikst обсуждение вклад‎ 18 440 байт +222‎ →‎Алгоритм унификации
• текущ.пред. 17:2417:24, 30 июня 2014‎ Mikst обсуждение вклад‎ 18 218 байт +86‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T

29 июня 2014

• текущ.пред. 23:0323:03, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 132 байта +267‎ →‎Алгоритм унификации
• текущ.пред. 21:1821:18, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 865 байт −2‎ →‎Алгоритм унификации
• текущ.пред. 21:1821:18, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 867 байт −655‎ →‎Алгоритм унификации
• текущ.пред. 21:1521:15, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 522 байта +71‎ →‎Этап 2. Компиляция тела лямбды
• текущ.пред. 21:1421:14, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 451 байт −47‎ →‎Этап 2. Компиляция тела лямбды
• текущ.пред. 21:0921:09, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 498 байт +362‎ →‎Этап 1. Без компиляции тела лямбды
• текущ.пред. 21:0021:00, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 136 байт +33‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 20:5520:55, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 103 байта 0‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 20:3620:36, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 103 байта +78‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 20:3420:34, 29 июня 2014‎ Mikst обсуждение вклад‎ 18 025 байт +81‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 20:3220:32, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 944 байта +13‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 15:4015:40, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 931 байт +46‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 15:3515:35, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 885 байт +136‎ →‎Алгоритм унификации
• текущ.пред. 15:3415:34, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 749 байт +117‎ →‎Алгоритм унификации
• текущ.пред. 15:3415:34, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 632 байта −116‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 15:3315:33, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 748 байт +178‎ →‎Алгоритм унификации
• текущ.пред. 15:3315:33, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 570 байт −166‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 15:3215:32, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 736 байт −121‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 15:2715:27, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 857 байт +323‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 15:2015:20, 29 июня 2014‎ Mikst обсуждение вклад‎ 17 534 байта +553‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 14:2014:20, 29 июня 2014‎ Mikst обсуждение вклад‎ 16 981 байт +1‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• текущ.пред. 13:4313:43, 29 июня 2014‎ Mikst обсуждение вклад‎ 16 980 байт +26‎ →‎Уравнение S ↪ T в случае когда S или T - тип или интерфейс (возможно, обобщенный)
• текущ.пред. 13:3113:31, 29 июня 2014‎ Mikst обсуждение вклад‎ 16 954 байта +171‎ →‎Уравнение S ↪ T в случае когда S или T - тип или интерфейс (возможно, обобщенный)
• текущ.пред. 10:4310:43, 29 июня 2014‎ Mikst обсуждение вклад‎ 16 783 байта +570‎ →‎Уравнение S ↪ T в случае когда S или T - тип или интерфейс (возможно, обобщенный)
• текущ.пред. 10:3110:31, 29 июня 2014‎ Mikst обсуждение вклад‎ 16 213 байт +271‎ →‎Уравнение S ↪ T в случае когда S или T - тип или интерфейс (возможно, обобщенный)
• текущ.пред. 10:2110:21, 29 июня 2014‎ Mikst обсуждение вклад‎ 15 942 байта +154‎ →‎Уравнение S ↪ T в случае когда S или T - тип или интерфейс (возможно, обобщенный)
• текущ.пред. 10:1610:16, 29 июня 2014‎ Mikst обсуждение вклад‎ 15 788 байт +162‎ →‎Уравнение S ↪ T в случае когда S или T - тип или интерфейс (возможно, обобщенный)
• текущ.пред. 10:1110:11, 29 июня 2014‎ Mikst обсуждение вклад‎ 15 626 байт +404‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 10:0610:06, 29 июня 2014‎ Mikst обсуждение вклад‎ 15 222 байта +12‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 10:0510:05, 29 июня 2014‎ Mikst обсуждение вклад‎ 15 210 байт +491‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 09:5909:59, 29 июня 2014‎ Mikst обсуждение вклад‎ 14 719 байт −2‎ →‎Модифицированный алгоритм Хиндли-Милнера

26 июня 2014

• текущ.пред. 21:4921:49, 26 июня 2014‎ Mikst обсуждение вклад‎ 14 721 байт +3‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 21:4921:49, 26 июня 2014‎ Mikst обсуждение вклад‎ 14 718 байт +291‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 10:4010:40, 26 июня 2014‎ Mikst обсуждение вклад‎ 14 427 байт +120‎ →‎Этап 2. Компиляция тела лямбды
• текущ.пред. 10:3910:39, 26 июня 2014‎ Mikst обсуждение вклад‎ 14 307 байт +158‎ →‎Этап 2. Компиляция тела лямбды
• текущ.пред. 10:3610:36, 26 июня 2014‎ Mikst обсуждение вклад‎ 14 149 байт +385‎ →‎Этап 2. Компиляция тела лямбды
• текущ.пред. 10:3310:33, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 764 байта −8‎ →‎Этап 2. Компиляция тела лямбды
• текущ.пред. 10:3210:32, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 772 байта +402‎ →‎Этап 2. Компиляция тела лямбды
• текущ.пред. 10:2810:28, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 370 байт +67‎ →‎Этап 1. Без компиляции тела лямбды
• текущ.пред. 10:2810:28, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 303 байта +73‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 10:2310:23, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 230 байт 0‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 10:2210:22, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 230 байт +150‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 10:1110:11, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 080 байт 0‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 10:1010:10, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 080 байт +4‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 10:0910:09, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 076 байт +8‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 10:0910:09, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 068 байт 0‎ →‎Ограничения равенства типов при компиляции
• текущ.пред. 10:0810:08, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 068 байт 0‎ →‎Примеры
• текущ.пред. 10:0110:01, 26 июня 2014‎ Mikst обсуждение вклад‎ 13 068 байт +135‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 00:5900:59, 26 июня 2014‎ Mikst обсуждение вклад‎ 12 933 байта −3‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 00:5900:59, 26 июня 2014‎ Mikst обсуждение вклад‎ 12 936 байт +3‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 00:2900:29, 26 июня 2014‎ Mikst обсуждение вклад‎ 12 933 байта 0‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 00:2900:29, 26 июня 2014‎ Mikst обсуждение вклад‎ 12 933 байта +100‎ →‎Модифицированный алгоритм Хиндли-Милнера

25 июня 2014

• текущ.пред. 23:0523:05, 25 июня 2014‎ Mikst обсуждение вклад‎ 12 833 байта +403‎ →‎Модифицированный алгоритм Хиндли-Милнера
• текущ.пред. 22:5322:53, 25 июня 2014‎ Mikst обсуждение вклад‎ 12 430 байт +4116‎ →‎Система уравнений для типовых переменных и ее решение
• текущ.пред. 22:1422:14, 25 июня 2014‎ Mikst обсуждение вклад‎ 8314 байт +267‎ →‎Система уравнений для типовых переменных
• текущ.пред. 22:0522:05, 25 июня 2014‎ Mikst обсуждение вклад‎ 8047 байт +86‎ →‎Реальный пример
• текущ.пред. 22:0422:04, 25 июня 2014‎ Mikst обсуждение вклад‎ 7961 байт 0‎ →‎Ограничения равенства типов при компиляции
• текущ.пред. 22:0422:04, 25 июня 2014‎ Mikst обсуждение вклад‎ 7961 байт +2563‎ →‎Ограничения равенства типов при компиляции
• текущ.пред. 21:4421:44, 25 июня 2014‎ Mikst обсуждение вклад‎ 5398 байт +12‎ →‎Ограничения равенства при компиляции
• текущ.пред. 21:3921:39, 25 июня 2014‎ Mikst обсуждение вклад‎ 5386 байт +2‎ →‎Алгоритм Хиндли-Милнера
• текущ.пред. 21:3821:38, 25 июня 2014‎ Mikst обсуждение вклад‎ 5384 байта +2414‎ →‎Примеры
• текущ.пред. 20:5020:50, 25 июня 2014‎ Mikst обсуждение вклад‎ 2970 байт +15‎ →‎Примеры
• текущ.пред. 19:3519:35, 25 июня 2014‎ Mikst обсуждение вклад‎ 2955 байт +1178‎ →‎Примеры
• текущ.пред. 19:2019:20, 25 июня 2014‎ Mikst обсуждение вклад‎ 1777 байт +172‎ →‎Алгоритм Хиндли-Милнера
• текущ.пред. 19:1319:13, 25 июня 2014‎ Mikst обсуждение вклад‎ 1605 байт +345‎ →‎Алгоритм Хиндли-Милнера
• текущ.пред. 19:0419:04, 25 июня 2014‎ Mikst обсуждение вклад‎ 1260 байт +3‎ →‎Алгоритм Хиндли-Милнера
• текущ.пред. 19:0319:03, 25 июня 2014‎ Mikst обсуждение вклад‎ 1257 байт +121‎ Нет описания правки
• текущ.пред. 19:0119:01, 25 июня 2014‎ Mikst обсуждение вклад‎ 1136 байт +147‎ Нет описания правки
• текущ.пред. 18:5818:58, 25 июня 2014‎ Mikst обсуждение вклад‎ 989 байт +989‎ Новая страница: «Алгоритм Хиндли-Милнера предназначен для вывода типов при наличии ограничений Для комп…»