План

• Календарь на конец семестра.

1. типизация Hindley-Milner
2. Рекурсия
3. Функции высшего порядка
4. Ленивые вычисления
5. Карринг

6. Continuation => итераторы

7. Комбинаторные исчисления
8. pattern-matching
9. zip, unzip
10. list comprehensions
11. монады
12. Примеры

    1. табличный разбор => фвп

    2. enumerate(zip(...)) => ~pattern-matching