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

[metaclass]

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

Comments

[gds.livejournal.com]

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

в свою очередь, а этот критерий действительно необычен?

[metaclass.livejournal.com]

Мейнстримных языков подобных пока толком не наблюдается. Сплошные жабы да дотнеты и поверх них скалы и F#.
Окамл разве что, но его массово не наблюдается.

[gds.livejournal.com]

окамл -- да. вдобавок coq, х-ь, агда.
с другой стороны, и rust особо не наблюдается, я о нём услышал пару дней назад.

[nivanych.livejournal.com]

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

[gds.livejournal.com]

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

[thedeemon.livejournal.com]

Хаскель уже мейнстрим нынче.

Из немейнстрима D еще - тоже нативный код и GC. A для храбрых духом - ATS. После него Rust выглядит детской поделкой.

[jakobz.livejournal.com]

Go и D еще как минимум. Ну и хаскель - тоже компилируемый и с типами.