Компилируемый язык с статик типами и GC?

[metaclass]

http://www.rust-lang.org/
Кто-нибудь на сие смотрел, чем оно полезно и зачем?

Comments

[gds.livejournal.com]

из программ на этих языках можно получить native code бинарник -- значит компиляторы. А что добавлено ещё несколько стадий компиляции, в том числе через промежуточные файлы -- так это мелочи.