Здравствуйте, codeflawer, Вы писали:

C>На мой взгляд, Standard ML наиболее разумный компромисс. Caml грязен до отвращения хотя, говорят, порождает весьма эффективный код.

Знаешь, у меня Ocaml при первом (и втором) взгляде вызвал похожую реакцию. И он валялся у меня на винте без дела почти год. Взялся я за него толком только из-за отсутствия альтернатив. И только после интенсивного использования я понял, что на самом деле вся его "некрасивость" оправдана и это очень стройный и гибкий язык. Просто надо стараться писать как можно более тупой код и использовать, скажем, модули или объекты, только когда они действительно необходимы.