metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2013-01-25 06:43 pm

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

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

[identity profile] denisioru.livejournal.com 2013-01-25 03:47 pm (UTC)(link)
Очередная чья-то самодельная херня?

[identity profile] demmonoid.livejournal.com 2013-01-25 03:53 pm (UTC)(link)
Ну Mozilla же.

[identity profile] gds.livejournal.com 2013-01-25 03:55 pm (UTC)(link)
в контексте языков программирования этот вопрос слишком универсален, чтобы ответ на него мог сообщить какую-либо дополнительную информацию.

[identity profile] metaclass.livejournal.com 2013-01-25 04:06 pm (UTC)(link)
Да не совсем, фуррифоксовцы ее клепают.

[identity profile] gds.livejournal.com 2013-01-25 04:10 pm (UTC)(link)
> Компилируемый язык с статик типами и GC?

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

[identity profile] dair-spb.livejournal.com 2013-01-25 04:15 pm (UTC)(link)
А гуглоподелие (http://golang.org) не?

[identity profile] metaclass.livejournal.com 2013-01-25 04:20 pm (UTC)(link)
Rust этот выглядит гуманнее как-то :)

[identity profile] metaclass.livejournal.com 2013-01-25 04:24 pm (UTC)(link)
Мейнстримных языков подобных пока толком не наблюдается. Сплошные жабы да дотнеты и поверх них скалы и F#.
Окамл разве что, но его массово не наблюдается.

[identity profile] gds.livejournal.com 2013-01-25 04:25 pm (UTC)(link)
окамл -- да. вдобавок coq, х-ь, агда.
с другой стороны, и rust особо не наблюдается, я о нём услышал пару дней назад.

[identity profile] andrew kondratovich (from livejournal.com) 2013-01-25 04:38 pm (UTC)(link)
окамл

[identity profile] avnik.livejournal.com 2013-01-25 04:43 pm (UTC)(link)
Выглядит сыровато, но обещающе.
Погляди на ерланг лучше -- он ближе к реальности.

[identity profile] dmzlj.livejournal.com 2013-01-25 04:44 pm (UTC)(link)
оно пока недоделано

[identity profile] eternal-leave.livejournal.com 2013-01-25 05:05 pm (UTC)(link)
Он весьма странно компилируемый.

[identity profile] thedeemon.livejournal.com 2013-01-25 05:11 pm (UTC)(link)
Эмбрионная стадия: все время меняется и само пока не особо жизнеспособно. Там GC-то уже сделали или все еще только собираются?
Хотя в защиту говорит то, что вроде как оно self-hosted, компилятор на нем самом.

Разговоров о нем много последнее время, но реальных проектов не видно, что вполне ожидаемо на такой стадии.

[identity profile] thedeemon.livejournal.com 2013-01-25 05:16 pm (UTC)(link)
Хаскель уже мейнстрим нынче.

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

[identity profile] jakobz.livejournal.com 2013-01-25 05:19 pm (UTC)(link)
Go и D еще как минимум. Ну и хаскель - тоже компилируемый и с типами.

[identity profile] jakobz.livejournal.com 2013-01-25 05:20 pm (UTC)(link)
Эрланг не компилируемый и без типов.

[identity profile] avnik.livejournal.com 2013-01-25 05:29 pm (UTC)(link)
с типами
Но да не компилируемый.
Вам таки шашечки или ехать?

[identity profile] metaclass.livejournal.com 2013-01-25 05:30 pm (UTC)(link)
Компилируемый нужен. Мне влом жабы и дотнеты деплоить :)

[identity profile] jakobz.livejournal.com 2013-01-25 05:37 pm (UTC)(link)
Речь о компилиремых языках с типами. Эрланг - без типов и не компилируемый.

[identity profile] avnik.livejournal.com 2013-01-25 05:38 pm (UTC)(link)
Там JIT таки?

[identity profile] avnik.livejournal.com 2013-01-25 05:41 pm (UTC)(link)
Там нет ни жабы ни дотнета, своя VM с jit. Притом оно весьма mature, и сам язык очень хорошо ложится на работу с всякими протоколами полными жаб и червей.

[identity profile] avnik.livejournal.com 2013-01-25 05:42 pm (UTC)(link)
Там таки типы с выведением,

[identity profile] jakobz.livejournal.com 2013-01-25 05:45 pm (UTC)(link)
Нет там выведения никакого.

Page 1 of 3