Содержание курса
1. Введение
6 уроков
1 675
585
206м
17
Закрытый
1.1
Установка и настройка среды
↗
846
124
15м 57с
1
Закрытый
1.2
Функции
↗
267
127
30м 54с
5
Закрытый
1.3
Операторы
↗
171
111
25м 21с
7
Закрытый
1.4
Базовые типы
↗
143
88
44м 20с
1
Закрытый
1.5
Рекурсия
↗
131
76
47м 17с
3
Закрытый
1.6
Локальные связывания и правила отступов
↗
117
59
45м 36с
0
2. Основы программирования
6 уроков
520
326
260м
6
Закрытый
2.1
Параметрический полиморфизм
↗
105
69
43м 34с
2
Закрытый
2.2
Параметрический полиморфизм (2)
↗
91
56
35м 45с
2
Закрытый
2.3
Классы типов
↗
92
61
40м 7с
1
Закрытый
2.4
Стандартные классы типов
↗
79
51
54м 30с
1
Закрытый
2.5
Нестрогая семантика
↗
77
35
65м 25с
-2
Закрытый
2.6
Модули и компиляция
↗
76
54
23м 44с
2
3. Списки
6 уроков
417
235
273м
11
Закрытый
3.1
Функции для работы со списками
↗
83
40
74м 44с
1
Закрытый
3.2
Функции высших порядков над списками
↗
74
41
53м 57с
1
Закрытый
3.3
Генераторы списков
↗
71
34
48м 51с
-1
Закрытый
3.4
Правая свертка
↗
65
40
27м 32с
4
Закрытый
3.5
Левая свертка и ее сравнение с правой
↗
62
39
27м 44с
3
Закрытый
3.6
Родственные сверткам функции
↗
62
41
45м 54с
3
4. Типы данных
6 уроков
326
152
250м
13
Закрытый
4.1
Типы перечислений
↗
65
30
42м 9с
1
Закрытый
4.2
Типы произведений и сумм произведений
↗
55
22
38м 49с
1
Закрытый
4.3
Синтаксис записей
↗
53
33
30м 28с
5
Закрытый
4.4
Типы с параметрами
↗
51
20
46м 2с
2
Закрытый
4.5
Рекурсивные типы данных
↗
50
25
25м 17с
2
Закрытый
4.6
Синонимы и обертки для типов
↗
52
22
68м 45с
2
5. Монады
8 уроков
418
187
363м
18
Закрытый
5.1
Класс типов Functor и законы для него
↗
69
31
56м 55с
4
Закрытый
5.2
Определение монады
↗
56
28
40м 51с
1
Закрытый
5.3
Монада Identity
↗
50
29
60м 10с
1
Закрытый
5.4
Список и Maybe как монады
↗
46
22
43м 18с
3
Закрытый
5.5
Монада IO
↗
49
18
55м 41с
3
Закрытый
5.6
Монада Reader
↗
44
24
43м 37с
1
Закрытый
5.7
Монада Writer
↗
47
16
28м 19с
2
Закрытый
5.8
Монада State
↗
57
19
38м 59с
3