Я натрапив на проект Ur / Web під час пошуку веб-рамок для мов, схожих на Haskell. Це виглядає як дуже цікавий проект, зроблений однією людиною.
В основному, це доменна суто функціональна мова для веб-програмування, яка бере найкращі ML та Haskell. Синтаксис - це ML, але є класи типів і монада від Haskell, і це суворо оцінюється. На стороні сервера компілюється до рідного коду, клієнт - до Javascript. Дивіться слайди та сторінку поширених запитань про інші рекламовані переваги.
Дивлячись на демонстрації та їх вихідний код , я думаю, що проект є дуже перспективним. Остання версія - це щось 20110123, тому, здається, наразі перебуває в активному розвитку.
Хтось тут мав додатковий досвід з цим? Чи є проблеми / роздратування у порівнянні з Haskell, за винятком дещо більш багатослівного синтаксису ML?