Ур

Jul. 27th, 2011 02:03 am
clayrat: (yco)
Adam Chlipala ищет разработчиков на свой фреймворк Ur/Web. Собственно говоря, это функциональный язык с функторами, монадами и наворотами из теории зависимых типов (операторы над типами); в довесок идет библиотека для веб-программирования. 

Вот этот код например суммирует элементы алгебраического произведения (т.е. структуры типа 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

Expand Cut Tags

No cut tags

Profile

clayrat: (Default)
Alex Gryzlov

Syndicate

RSS Atom

Page Summary

Style Credit

Page generated Jul. 7th, 2025 12:44 pm
Powered by Dreamwidth Studios
November 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 2016