Adam Chlipala ищет разработчиков на свой фреймворк Ur/Web. Собственно говоря, это функциональный язык с функторами, монадами и наворотами из теории зависимых типов (операторы над типами); в довесок идет библиотека для веб-программирования.
Вот этот код например суммирует элементы алгебраического произведения (т.е. структуры типа record):
Вот этот код например суммирует элементы алгебраического произведения (т.е. структуры типа record):
fun sum [fs ::: {Unit}] (fl : folder fs) (x : $(mapU int fs)) =
@foldUR [int] [fn _ => int]
(fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] n acc => n + acc)
0 fl x