Да, насчет функциональности я погорячился. Хотя душок сильный - вон, в мануале все возможные примеры - из функциональщины. Опять же - let, дефолтная иммутабельность, отсутсвие нормального (сишного) for...Система типов - кроме кайндов есть еще виды боксинга, пачка разных указателей, рекурсивные типы (зачем, когда это обычными указателями делается?), зато нет нормальных классов и модификаторов видимости.
блоки unsafe - это хорошо, а толку? Поноценный unsafe cast где? Только ассемблер призывать, как в вашем примере?
А еще, кстати, очень не понравилось то, что они не любят общепринятые обозначения. Textual type вместо string, traits вместо templates и тому подобное.