А на RUST никто не пытался программировать?
А то мне что-то оно кажется попыткой родить Cyclone "с человеческим лицом", хотя imho все равно несколько переусложненной, но интересной.

Любопытны практические впечатления, если у кого-то есть.