code.google.com ! Имхо такое визуальное программирование много прикольней всяких этих драконов...
айда все программить мышкой —
gist.github.com — это какбы совсем велосипед?
elm-lang.org оказывается: тоже статическая типизация с выводом типов, а ещё FRP, лейауты, canvas... Жаль, что ещё не зарелизено
а ещё есть
github.com Эдак выходит на Хаскеле можно и J какой-нибудь изобразить (да ещё и типизированный), интересно, правда, какой максимальный тип кортежа в GHC можно забабахать.
фины жгут —
roy.brianmckenna.org — компилим в жабоскрипт теперь из функционального языка с ПМ, Хиндли-Милнером и не только. Наверное, где-то должен там затеряться преферанс и институтки...
habrahabr.ru (если кто ещё не видел)
Haskell медленно, но (надеюсь) верно пробивает себе дорогу —
plantuml.sourceforge.net вроде ничего так диаграмки рисует
а