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

17 декабря 2015

• 00:4300:43, 17 декабря 2015 разн. история −84‎ Часто задаваемые вопросы по WDE ‎ →‎Для чего нужна регистрация

31 августа 2015

• 14:4414:44, 31 августа 2015 разн. история +1‎ Проект Bike ( Yet Another Bicyclic Optimizing Compiler) - оптимизирующий компилятор 2014 года ‎Нет описания правки текущая
• 14:4414:44, 31 августа 2015 разн. история +155‎ Проект Bike ( Yet Another Bicyclic Optimizing Compiler) - оптимизирующий компилятор 2014 года ‎Нет описания правки
• 14:4114:41, 31 августа 2015 разн. история −2‎ Проект Bike ( Yet Another Bicyclic Optimizing Compiler) - оптимизирующий компилятор 2014 года ‎Нет описания правки
• 14:4114:41, 31 августа 2015 разн. история +102‎ Н Проект Bike ( Yet Another Bicyclic Optimizing Compiler) - оптимизирующий компилятор 2014 года ‎ Новая страница: «https://bitbucket.org/itmasters_mmcs/ Ссылка на сайт проекта на bitbucket.org»
• 14:4014:40, 31 августа 2015 разн. история +135‎ Заглавная страница ‎ →‎Другие проекты

3 июля 2015

• 21:3221:32, 3 июля 2015 разн. история −1‎ Основная страница проекта WDE PascalABC.NET ‎Нет описания правки
• 21:3021:30, 3 июля 2015 разн. история −7‎ Как обновить компилятор и вспомогательные файлы ‎Нет описания правки текущая
• 21:3021:30, 3 июля 2015 разн. история +506‎ Н Как обновить компилятор и вспомогательные файлы ‎ Новая страница: «1. sdelat _RebuildRelease v PascalABC.NET. 2. skopirovat nuzhnye (tolko te, kotorye est v WDE) dll v papku bin v WDE (na SVN i na servere) 3. skopirovat PABCSyst…»
• 21:2921:29, 3 июля 2015 разн. история +97‎ Основная страница проекта WDE PascalABC.NET ‎ →‎Рабочие моменты

30 ноября 2014

• 19:2319:23, 30 ноября 2014 разн. история +1494‎ Н Как инсталлировать PascalABC.NET под Linux ‎ Новая страница: «Проверялось на Ubuntu 14.04 и Альт Линукс 7.0 Школьный Учитель Последовательность шагов инста…»
• 19:2319:23, 30 ноября 2014 разн. история −1‎ Заглавная страница ‎ →‎Cтатьи
• 19:2219:22, 30 ноября 2014 разн. история 0‎ Как инсталлировать PaascalABC.NET под Linux ‎Нет описания правки текущая

29 ноября 2014

• 22:3522:35, 29 ноября 2014 разн. история +5‎ Как инсталлировать PaascalABC.NET под Linux ‎Нет описания правки
• 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. Без компиляции тела лямбды
• 21:0021:00, 29 июня 2014 разн. история +33‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 20:5520:55, 29 июня 2014 разн. история 0‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 20:3620:36, 29 июня 2014 разн. история +78‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 20:3420:34, 29 июня 2014 разн. история +81‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 20:3220:32, 29 июня 2014 разн. история +13‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 15:4015:40, 29 июня 2014 разн. история +46‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 15:3515:35, 29 июня 2014 разн. история +136‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Алгоритм унификации
• 15:3415:34, 29 июня 2014 разн. история +117‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Алгоритм унификации
• 15:3415:34, 29 июня 2014 разн. история −116‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Модифицированный алгоритм Хиндли-Милнера
• 15:3315:33, 29 июня 2014 разн. история +178‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Алгоритм унификации
• 15:3315:33, 29 июня 2014 разн. история −166‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Модифицированный алгоритм Хиндли-Милнера
• 15:3215:32, 29 июня 2014 разн. история −121‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 15:2715:27, 29 июня 2014 разн. история +323‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 15:2015:20, 29 июня 2014 разн. история +553‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 14:2014:20, 29 июня 2014 разн. история +1‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнения, порождаемые подстановкой фактических параметров вместо формальных S ↪ T
• 13:4313:43, 29 июня 2014 разн. история +26‎ Вывод типов при вызове обобщенных методов с лямбдами и перегрузкой функций ‎ →‎Уравнение S ↪ T в случае когда S или T - тип или интерфейс (возможно, обобщенный)