Welcome to FP book’s documentation!¶
А тут мы пишем, что хочется получить
- Программирование в малом
- Алгебраические типы
Нужные какие-то примеры?
upgrade с фантомными типами
upgrade c GADT
- То, что нельзя опустить
Хвостовая рекурсия
CPS
- ULC
Показать late binding на разных стратегиях
property-based testing ?
deriving ?
- DSL
различие shallow и deep
пример со стэком и окасаки
парсеры и принтеры
- Программирование больших кусков
- Модули
Функторы: показать три вида
Final tagless?
Расширябельность: объекты, extensible ADT и т.д.
- Архитектурные паттерны?
hash-consing