Вклад участника
28 апреля 2015
Персистентные структуры данных
Метод «толстых» узлов
м+1
Персистентные структуры данных
Метод копирование пути
м-1
Персистентные структуры данных
Метод копирование пути
м+1
Персистентные структуры данных
Метод копирование пути
м+1
Персистентные структуры данных
Метод копирование пути
м-64
27 апреля 2015
Функциональное программирование
H1. Написать Haskell-код какой-нибудь структуру данных
м-33
Функциональное программирование
Ленивый порядок
м+17
Функциональное программирование
Кр1
м+4
Функциональное программирование
Ленивый порядок
м+6
Функциональное программирование
Кр1
+901
Функциональное программирование
Решение
м
26 апреля 2015
Участник:Shersh/Тикеты ко 2ому терму
4. Поисковые структуры данных
м+15
Участник:Shersh/Тикеты ко 2ому терму
1. Персистентные структуры данных
+15
Участник:Shersh/Тикеты ко 2ому терму
2. Приоритетные очереди
м+15
Функциональное программирование
A2. Закодировать типы по Чёрчу (с взаимной рекурсией)
+2021
Функциональное программирование
E2. let-биндинги, но с возможной взаимной рекурсией
+2435
Функциональное программирование
Решение
мФункциональное программирование
Решение
м+3
Участник:Shersh
Полезные ссылки
м+8
Функциональное программирование
Нормальный порядок редукции: облегчена речевая конструкция определения
м-20
Функциональное программирование
Решение
м+2
Функциональное программирование
E0. Определить примитивные конструкции
м-1
Функциональное программирование
E0. Определить примитивные конструкции
м+7
Функциональное программирование
E0. Определить примитивные конструкции
м+2
Функциональное программирование
Аппликативный порядок редукции
м-6
Функциональное программирование
Решение
м+5
Функциональное программирование
Решение: исправлена бага
мФункциональное программирование
E2. let-биндинги но с возможной взаимной рекурсией
м+1
Функциональное программирование
Решение
мФункциональное программирование
Кр2: добавлен разбор кр2
+5210
Функциональное программирование
Кр2
+205
Функциональное программирование
Фотки
мФункциональное программирование
Кр2
+293
Функциональное программирование
Кодирование по Чёрчу
+151
Функциональное программирование
Кодирование по Чёрчу
м+134
Функциональное программирование
Выписать систему уравнений типизации
+1466
Функциональное программирование
Нет описания правки
+545
Функциональное программирование
Аппликативный порядок редукции
+509
Функциональное программирование
Нормальный порядок редукции
м+893
Функциональное программирование
Привести в нормальную форму
+403
Функциональное программирование
Убрать все сокращения и расставить все скобки
м+757
23 апреля 2015
Декомпозиция Линдона
Существование и единственность: исправлен мелкий баг
мУчастник:Shersh/Тикеты к 4ому терму
Основные факты теории матроидов
м+15
21 апреля 2015
Персистентные структуры данных
Преобразование списка в персистентный за O(1): чуть переписана потенциальная оценка
-300
Персистентные структуры данных
Метод копирование пути
м-20
Участник:Shersh/Тикеты ко 2ому терму
4. Поисковые структуры данных
+7
20 апреля 2015
19 апреля 2015
Персистентные структуры данных
Метод копирование пути
м+2
Персистентные структуры данных
Метод копирование пути
м+1
Поиск k-ой порядковой статистики в двух массивах
Совсем не наивное решение
м
