Программирование на типах, Zeplrog, Pragmatic Type-Level Design | Записки программиста
Программирование на типах. Проект Zeplrog. Книга Pragmatic Type-Level Design.
Мои книги:
Functional Design and Architecture (Second Edition):
https://www.manning.com/books/functio...
Functional Design and Architecture (First Edition):
https://leanpub.com/functional-design...
Pragmatic Type-Level Design (WIP):
https://leanpub.com/pragmatic-type-le...