CTFE

[thedeemon]

Jonathan Blow, автор игрушки Braid, замутил на ютюбе сперва пару выступлений о том, как ему осточертел С++ и не видно годных альтернатив для написания игрушек, и как было бы круто сделать свой язык для этих целей с блекджеком и т.д., а на днях уже раз и показал демку вырисовывающегося язычка. Работающий компилятор (пока что через генерацию Си, но это временно), работающие примеры. Пока что там почти ничего нет (ни объектов в том или ином виде, ни генериков), код примерно на уровне Go без GC, зато есть прикольная киллер-фича: весь язык целиком доступен в компайл-тайме (для этих целей сделана генерация байткода и его исполнение компилятором). Надо сделать безопасный printf? Сказал компилятору, что все вызовы printf проверяются вот этой функцией, а она проверяет соответствие агрументов форматной строке, отрабатывая в компайл-тайме. Надо проверить, что все переданные в функцию строки одной длины? Аналогично. Говорит, чем городить суперсложную систему типов, которая бы пыталась проверять такие инварианты, проще позволить проверять их кодом на том же языке, а систему типов оставить простой (ну, генериков добавить, конечно). Показал демку - простая игрушка на OpenGL со стрельбой по пришельцам. Потом ставит в коде строчку вроде

#assert( #run invaders() >= 10, "need to kill 10 invaders for this to compile")

запускает компилятор, вдруг открывается окошко и запускается игра. Если убьешь 10 пришельцев - скомпилируется успешно, нет - ошибка компиляции. :) Развлекуха.

В D тоже есть похожий compile time function execution, но все ж более ограниченный, некоторые вещи там недоступны и OpenGL не повызываешь.

Comments

[theiced.livejournal.com]

что люди не сделают что бы лисп не учить.

[thedeemon.livejournal.com]

Это который требует GC, делает бинарники по 50 мегов и не умеет многопоточность на некоторых платформах? Или другой, который вообще на JVM?

[nealar.livejournal.com]

А по сути возражения есть?

[swizard.livejournal.com]

> Это который требует GC, делает бинарники по 50 мегов

Он, родимый =) Зато можно save/load в игре делать через save-lisp-and-die, например, каково, а?

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

[develop7]

Because everything is better with Bluet… Lisp!

[zerthurd.livejournal.com]

Хочешь узнать, что Б-г думает о лиспе, посмотри на лисперов. Всюду со своим ненужно залезут.

[theiced.livejournal.com]

вот почему всегда находятся альтернативно одарённый делающие стойку на любое упоминание лиспов. слишком тупой что бы осилить?

[dumendil.livejournal.com]

> зато есть прикольная киллер-фича: весь язык целиком доступен в компайл-тайме (для этих целей сделана генерация байткода и его исполнение компилятором)
Он придумал Форт, похоже. Там это основной инструмент был. :)

[nivanych.livejournal.com]

Есть ключевое отличие — типизация.

[dumendil.livejournal.com]

Да. Это основное отличие, но не ключевое. Потому что я в Форт добавлял статическую типизацию (не полноценную, конечно), это заняло в исходниках ЕМНИП меньше 10Кб текста с комментариями. :) Так же легко добавляется инфиксная арифметика (это точно помню 1Кб текста), убирается использование пробела, как разделителя и добавляется новое управление памятью. При этом всё остаётся Фортом. :) А, ещё туда лямбды добавляются тоже очень просто.

[astmatik.livejournal.com]

может быть rust?

[thedeemon.livejournal.com]

В обсуждениях сторонники Rust считают, что этот язык лучше всего бы ему подошел. Сам он о Rust'е отозвался в том ключе, что слишком много внимания и умственных усилий программиста там тратится на обеспечение корректности работы с памятью. Он готов чуть больше времени провести в отладчике, зато намного меньше быть скованным ограничениями компилятора. Но при этом довольно много из Rust'а в свой язык копирует, в том числе концепцию owning pointers, которые освобождают память, когда сами погибают.

[awson.livejournal.com]

Вообще, staged языков навалом. Но из тех, что специфически таргетируют низкий уровень есть еще интересный http://terralang.org.

[justy-tylor.livejournal.com]

Необходимость исполнения произвольного кода в compile time штука давно очевидная. А в остальном скучно. Редизайн C++ "мы отрежем то, что сами не использовали, а затем приладим заплатки на слабые места" - Rust, Go, ...

[nponeccop.livejournal.com]

> "мы отрежем то, что сами не использовали, а затем приладим
> заплатки на слабые места"

Золотые слова!

[sleepy-drago.livejournal.com]

opengl в компиляторе очень очень важен. как бы сказали циники "перезвоните нам когда ваша игра перевалит за 1млн проданных копий".

[thedeemon.livejournal.com]

Ну, довольно близко:
"Jonathan Blow, the creator of Braid, a 2008 Microsoft-published game that was, arguably, the first mainstream indie success, also became a millionaire through his game. ... He funnelled the remainder of the money he earned—which he estimates to be around four million dollars—into his next game, The Witness, due for release later this year. "

[swizard.livejournal.com]

> запускает компилятор, вдруг открывается окошко и запускается игра. Если убьешь 10 пришельцев - скомпилируется успешно, нет - ошибка компиляции. :) Развлекуха.

У меня был пост, где я в compile-time ходил в бд и синхронизировал тамошнюю схему с орм-биндингами.

[thedeemon.livejournal.com]

Без стрельбы по пришельцам - скукотища. :)

[udpn.livejournal.com]

А можно линк?

[sober-space.livejournal.com]

Вот у меня как раз такая идея была - go без рантайма и со встроенным языком доступным во время компиляции. Но как всегда кто-то воплотил это вместо меня :D

[thedeemon.livejournal.com]

А чем именно планировалось заменить GC?

[udpn.livejournal.com]

А я тут напряг курсовика такой язык писать в этом году. Хуёвый из меня научрук, ой хуёвый.

[triampurum.livejournal.com]

Отправь СМС по номеру ... и введи код, который тебе пришлют, чтобы продолжить компиляцию.

[thedeemon.livejournal.com]

Бизнес-идея! :)