>>Rust же нелепо позаимствовал всё самое странное и неоднозначное из ML и C++
> Например?

Семантически в rust достаточно много идей из ML. Кстати даже "модную" концепцию констант по умолчанию позаимствовали оттуда же, уж не знаю насколько это оправдано в Rust, учитывая как часто приходится видеть тонны мутабельных переменных. Вообще многим цивилизованным Растоманам лучше было бы потыкать ML, но тут правда проблема в том, что технологически более опрятный F# слишком связан с Microsoft, но из академических (а может и прагматических) интересов можно потыкать и его. В MONO он есть, под linux можно тоже поиграться. F# кстати фундаментально написан на F# (без "удобных" оговорок), первая версия его компилятора была написана на общем подбмножестве OCaml, а затем переписана на самом F#. И писать на нём можно хоть и не всё (удобно, так то язык конечно тьюринг полный), но вещи, связанные с обработкой данных - одно удовольствие. Попробуйте как-нибудь.