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

[metaclass]

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

Comments

[denisioru.livejournal.com]

Очередная чья-то самодельная херня?

[demmonoid.livejournal.com]

Ну Mozilla же.

[gds.livejournal.com]

в контексте языков программирования этот вопрос слишком универсален, чтобы ответ на него мог сообщить какую-либо дополнительную информацию.

[metaclass.livejournal.com]

Да не совсем, фуррифоксовцы ее клепают.

[gds.livejournal.com]

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

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

[metaclass.livejournal.com]

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

[dair-spb.livejournal.com]

А гуглоподелие (http://golang.org) не?

[metaclass.livejournal.com]

Rust этот выглядит гуманнее как-то :)

[eternal-leave.livejournal.com]

Он весьма странно компилируемый.

[theiced.livejournal.com]

нет
нет нет нет
нет
нет нет
нет нет нет нет
нет
не надо

[andrew kondratovich (from livejournal.com)]

окамл

[avnik.livejournal.com]

Выглядит сыровато, но обещающе.
Погляди на ерланг лучше -- он ближе к реальности.

[jakobz.livejournal.com]

Эрланг не компилируемый и без типов.

[dmzlj.livejournal.com]

оно пока недоделано

[vak]

Вот парочка:
http://en.wikipedia.org/wiki/D_(programming_language)
http://en.wikipedia.org/wiki/Go_language

[thedeemon.livejournal.com]

Эмбрионная стадия: все время меняется и само пока не особо жизнеспособно. Там GC-то уже сделали или все еще только собираются?
Хотя в защиту говорит то, что вроде как оно self-hosted, компилятор на нем самом.

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

[denisioru.livejournal.com]

Тот же Nemerle уже сколько лет пилится силами чуть более чем одного человека - и где он до сих пор? Где реальные проекты? Где развитие? Не мейнстримовые языки не нужны.

[geeks-ru.livejournal.com]

Я уже довольно давно веду список языков-кандидатов на замену C/C++, сейчас там значатся:
D http://www.digitalmars.com/d
Go http://golang.org
HaXe http://haxe.org
Vala http://live.gnome.org/Vala
Clay http://claylabs.com/clay
Nimrod http://force7.de/nimrod/index.html
Zimbu http://www.zimbu.org
OOC http://docs.ooc-lang.org
Brace http://sam.ai.ki/brace
Rust http://www.rust-lang.org
C2 http://www.c2lang.org
SafeC http://chat-webcam-samuro.com/safe-c/start-en.html
BitC http://www.bitc-lang.org
Cyclone http://cyclone.thelanguage.org

[blackyblack.livejournal.com]

Окамл не замена что ли? Или С подобный синтаксис требуется?

[andrew kondratovich (from livejournal.com)]

Кстати да - с каких пор джит уже не компилируемый )

Сейчас джит делает код поэффективнее, чем статик компилятор.

[vaddimka.livejournal.com]

Как-то это не подтверждается на реальном коде
http://benchmarksgame.alioth.debian.org/
По ссылке - набор задачек, каждый может засабмитить свое решение на любом популярном языке, а некоторый набор машин-конфигураций автоматически его соберет-протестирует. Я давно туда не заглядывал, но не видел жавы обгоняющей те же C/C++.

[mehanizator.livejournal.com]

под jvm же полно их

[metaclass.livejournal.com]

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

[nivanych.livejournal.com]

Вот нахера это делают?
Первый же вопрос — а что там такого, чего нет в уже существующем?
Убрали побольше фишек, чтобы не было очень страшно?

[thedeemon.livejournal.com]

См. его модель памяти и подход к многопоточности. Все ради этого.

[veter-r-r.livejournal.com]

Ребе, да напишите же уже свой язык с червями и змеями. Все равно вам там заняться нечем :)

[ivanzoid.livejournal.com]

В рамках флуда — вот ещё есть компилятор Java (кучу денег стоит правда): http://www.excelsior-usa.com/products.html

[potan.livejournal.com]

Пока сырой. И GC у него странный.
Но смотрю на него с надеждой - давно хочу язык для втсраиваемых систем и быструю мозилу ;-).

[theiced.livejournal.com]

guile же
ну или для метросексуалов - lua

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

Я пробовал на нем писать. В принципе пока мне очень все нравится. Я слежу за развитием этого языка почти с самого начала, еще с тех времен, когда ничего кроме спецификации небыло. С тех пор язык довольно сильно поменялся. Например, они убрали классы, решив, что структуры вполне себе их заменят. Они убрали typestate, потому что им никто не пользовался.
В принципе, язык позволяет делать то же, что и С++, например, он умеет статический полиморфизм, но, в отличии от С++, он умеет это правильно. Например, я могу специализировать какую либо обобщенную сущьность для параметра определенного типа, как в с++, но для эмуляции разных языковых фич я использовать дженерики не буду, так как для этого есть совсем другой механизм (с помощью которого реализовано printf style форматирование с проверкой типов на стадии компиляции, как пример). Для параметров типов можно задавать type bounds и получать вменяемые сообщения об ошибках.

Самое вкусное в Rust, это легковесные потоки и модель памяти. Один легковесный поток занимает порядка килобайта памяти, их можно плодить в огромных количествах и строить свои абстракции на них, как в erlang. Модель памяти, это три типа владения объектами - owned, borrowed и managed указатели, ну и соответственно, возможность размещения объектов на стеке, в хипе(локальном для каждого потока) и в exchange heap, на объекты из которого можно ссылаться только через уникальный указатель, соотв. в языке реализована move semantics аки в с++ для таких указателей. В подробности вдаваться не буду, любой может почитать у них на сайте об этом. Насколько я понимаю, в самом начале чуваки как следует подумали на тему - как сделать так, чтобы простой dataflow анализ смог показать, может ли указатель быть безопасно разименован и, в итоге, пришли к такой модели.

Сейчас rust можно скачать, собрать (оно часа полтора собирается, не меньше, ибо тянет с собой LLVM и яростно его билдит) и даже написать чего нибудь. С библиотеками сейчас совсем все печально, на github совсем мало проектов на rust и они, как правило, игрушечные.

С golang его сравнивать глупо, go - на мой взгляд, скорее замена для питона на серверах гугла, а не замена С++ или С. А Rust, как раз для системного программирования, правда, у него есть свой runtime, его нельзя использовать как Си - без стандартной библиотеки.

[kurilka.livejournal.com]

Немного тяжеловаты легковесные потоки - http://thesz.livejournal.com/954916.html

[migmit.livejournal.com]

Ну, ихние дженерики совмещают худшие черты настоящих дженериков и плюсовых шаблонов, а так, вроде, всё хорошо.

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

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