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

[metaclass]

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

Comments

[schr�dinger's cat (from livejournal.com)]

Аргументация?

[migmit.livejournal.com]

От дженериков: невозможно в каких-то случаях специализировать алгоритм вручную. Например, использовать массивы в общем случае, но битмаски для типа boolean, или что-то в этом роде.

От шаблонов: компилятор автоматически специализирует алгоритмы для всех типов, которые могут потребоваться. Это исключает возможность использовать потенциально неограниченное количество типов.