Вот тут намедни порылся в славном семействе языков ML. И что-то хреново мне на душе стало. С одной стороны релизы выходят регулярно, есть несколько реализаций. С другой стороны, нет внятной документации, сайты, застрявшие в эпохе CERN'овского веба, с кучей битых ссылок, ссылок на древние, неоконченные/неполные доки. Полное отсутствие следов какого-то сообщества.
Такое ощущение, что теперь силы всей прогрессивной научной общественности направлены либо на F#, либо на Haskell. И от того и от другого, что-то сильно пахнет мышами.
С Ocaml ситуация несколько получше, но тоже крайне плачевна. И опять мышами пахнет.
И самое главное, натыкаешься на следы активных исследований, которые происходили в 80-х - 90-х годах. И для своего времени были прогрессивны.
Команда MosML, кажется, целиком переключилась на РЕФАЛ. SML/NJ в состоянии искусственной комы. MLTon сдох. PolyML вроде как-то шевелится, но опять же без сообщества.
Что же произошло? Неужели вот так после тридцати лет исследований ML будет выброшен на помойку, оставшись только в не очень идеологически чистом Ocaml'е, казуальных проектах типа Mythryl и дальних родственниках типа Хаскеля?
