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

[metaclass]

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

Comments

[nivanych.livejournal.com]

Ннуу, строго говоря CoQ и Agda такими не являются, это трансляторы.
Для Agda есть уже свой backend, но он в зачёт пока не пойдёт.

[gds.livejournal.com]

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