Публикации с хабом Функциональное программирование
16. Nix в пилюлях: Параметры nixpkgs +3
Импортозамещение SCADA: опыт перевода крупного производства на отечественную платформу +2
15. Nix в пилюлях: Поисковые пути Nix +8
14. Nix в пилюлях: Паттерн проектирования override (переопределение) +4
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35
13. Nix в пилюлях: Паттерн проектирования callPackage +2
Использование ZLayer без «сервисов» +3
Идиоматическое внедрение зависимостей в ZIO 2
12. Nix в пилюлях: Репозитории пакетов и паттерн Входящие +2
Функциональное программирование и программирование на Haskell +1
Практика использования парсер-комбинаторов peco и оператора match для создания простых DSL на языке Python +33
Рекурсивные типы. Часть 5/5. Занимательный матан +5
Рекурсивные типы. Часть 4/5. Схемы рекурсии +4
Рекурсивные типы. Часть 3/5. Свободные контейнеры +5
