Oberon - научный эксперимент, может быть и удачный, но на практике -он не применяется, Где я найду библы, поддержку, в общем "не взлетел", мне кажется.
Go - оказывается компилируемый, почему-то считал его скриптовым. Пока не нравится, хотел было , но мозг отравила какая-то статья с критикой. Но да у него богатая библиотека/и, многопоточность самая "the best". Но, имхо, какой-то он пока раздолбайский язык.
Haskell - о , а я думал , что он для виртуальных машин. Ладно, но на счет лаконичности, -он меня смущает )) Просто слишком уж специфичен и сложен.
Rust - а , да-да, это хороший язык, спасибо что напомнили. Но у меня душа как-то лежит к его "конкуренту"
NIM
И, кстати, Oberon тут засветился:
What have been the major influences in the language's design?
The language borrows heavily from (in order of impact): Modula 3, Delphi, Ada, C++, Python, Lisp, Oberon.
Вот
статья сравните сами.
Итого, сделал пару открытий для себя (Go, Haskell), но остался "при своем": NIM форевер! )). Хотя Go--.
заманивает 
Простой
