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