Я наткнулся на проект Ur / Web во время поиска веб-фреймворков для языков, похожих на Haskell. Похоже, очень интересный проект, выполненный одним человеком.
По сути, это чисто функциональный язык, специфичный для предметной области, для веб-программирования, вобравший в себя лучшее из ML и Haskell. Синтаксис ML, но есть классы типов и монада из Haskell, и они строго оценены. Серверная часть компилируется в собственный код, а клиент - в Javascript. Посмотрите слайды и страницу часто задаваемых вопросов для других рекламируемых преимуществ.
Глядя на демоверсии и их исходный код , я думаю, что проект очень перспективный. Последняя версия - это что-то 20110123, так что в настоящее время она находится в стадии активной разработки.
У кого-нибудь здесь был дальнейший опыт с этим? Есть ли проблемы / неприятности по сравнению с Haskell, кроме немного более многословного синтаксиса ML?