Вклад участника Mikst

29 ноября 2014

• 22:2722:27, 29 ноября 2014 разн. история +645‎ Как инсталлировать PaascalABC.NET под Linux ‎Нет описания правки
• 22:2322:23, 29 ноября 2014 разн. история +844‎ Н Как инсталлировать PaascalABC.NET под Linux ‎ Новая страница: «Проверялось на Ubuntu 14.04 и Альт Линукс 7.0 Школьный Учитель Последовательность шагов инста…»
• 22:1122:11, 29 ноября 2014 разн. история +70‎ Заглавная страница ‎ →‎Cтатьи

7 июля 2014

• 14:2214:22, 7 июля 2014 разн. история +2793‎ Н Старое неверное в выводе типов ‎ Новая страница: «==== Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T ===…» текущая
• 14:2214:22, 7 июля 2014 разн. история −2795‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T текущая
• 14:2114:21, 7 июля 2014 разн. история +64‎ Заглавная страница ‎ →‎Теория типов

6 июля 2014

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

3 июля 2014

• 21:2321:23, 3 июля 2014 разн. история +619‎ Новые возможности PascalABC.NET для школьников ‎ →‎Некоторые новые возможности, важные для обучения школьников текущая
• 19:2219:22, 3 июля 2014 разн. история +589‎ Н Новые возможности PascalABC.NET для школьников ‎ Новая страница: «==Примерный план== Идеи создания PascalABC.NET: * хорошая русифицированная оболочка * новые воз…»
• 19:1819:18, 3 июля 2014 разн. история +83‎ Заглавная страница ‎ →‎Разное
• 19:1819:18, 3 июля 2014 разн. история −19‎ Заглавная страница ‎ →‎Разное

1 июля 2014

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

30 июня 2014

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

29 июня 2014

• 23:0323:03, 29 июня 2014 разн. история +267‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Алгоритм унификации
• 21:1821:18, 29 июня 2014 разн. история −2‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Алгоритм унификации
• 21:1821:18, 29 июня 2014 разн. история −655‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Алгоритм унификации
• 21:1521:15, 29 июня 2014 разн. история +71‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Этап 2. Компиляция тела лямбды
• 21:1421:14, 29 июня 2014 разн. история −47‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Этап 2. Компиляция тела лямбды
• 21:0921:09, 29 июня 2014 разн. история +362‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Этап 1. Без компиляции тела лямбды