Паттерн Model-Update-View и зависимые типы +16 17.11.2017 12:21 potan 2 Функциональное программирование Интерфейсы Scala Haskell C++
Простой Java-код, ломающий систему вывода типов Scala +11 21.08.2017 06:15 xkorpsex 11 Программирование Scala JAVA
От зависимых типов к гомотопической теории типов на Scala + Shapeless + ProvingGround +20 22.05.2017 09:11 dmitrymitin 14 Функциональное программирование Математика Scala