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

[metaclass]

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

Comments

[jakobz.livejournal.com]

Речь о компилиремых языках с типами. Эрланг - без типов и не компилируемый.

[avnik.livejournal.com]

Там таки типы с выведением,

[jakobz.livejournal.com]

Нет там выведения никакого.

[kurilka.livejournal.com]

типы-то есть, но динамические