Продолжил языковые штудии
И внимательно посмотрел на rust. Впечатление странное - той-сть идея вставить в C вкусности от OCaml и классы типов давно носится в воздухе. Но результат производит громоздкое впечатление и очень сильно отдает С++ и boost'ом его.

Особенно хтоническое впечатление производят три сорта указателей, полиморфизм по оным и наслоения mut &mut ... Я понимаю их лучшие намерения - но вставит auto_ptr в качестве встроенной конструкции '~' - это дорогого стоит.

Ну и хитронавороченные наследования между процессами тож. Единственные две вещи которые порадовали - наконец кто-то сделал переменные const по умолчанию, а мутируемость - явно задаваемой. Да запрет на разделение между процессами изменямого контекста можно только приветствовать. Архиправильное решение.