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

[astmatik.livejournal.com]

может быть rust?

[thedeemon.livejournal.com]

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

[qehgt.livejournal.com]

Ну, там (в rust'е) есть unsafe блоки, в которых можно делать все низкоуровневые операции с указателями. То есть, если ему они очень нужны - они там есть.

[thedeemon.livejournal.com]

Я так понимаю, unsafe там чтобы локально что-то похимичить, а на уровне параметров функций и структур данных все равно надо заботиться о лайфтаймах и типах указателей.

[swizard.livejournal.com]

В русте есть вполне себе обычные "опасные" указатели, их можно свободно таскать в структурах и функциях.

unsafe-блока требует только их разыменование.

[thedeemon.livejournal.com]

А для более цивильных боксов и имеющихся контейнеров там можно свои аллокаторы использовать?

[swizard.livejournal.com]

Боксы там всего лишь для raii, поэтому никто не мешает выделять память под инстанс типа как угодно, хоть маллоком.

С имеющимися контейнерами я точно не могу сказать, скорее всего, прямого пути нет. Но в русте такие вещи вроде как наоборот принято делать: взять свой контейнер с нужным аллокатором, и тайпклассами (трейтами) придать ему требуемые свойства, чтобы стандартными алгоритмами можно было с ним работать. Если я не ошибаюсь, так же делается в хаскеле :)

[zeux.livejournal.com]

Как мне кажется, есть еще два ключевых фактора по которым Blow не начал тупо использовать Rust:

- он не готов технически (в смысле еще не stable)
- в частности из-за п.1 еще непонятно работают ли lifetimes - т.е. насколько сложный код можно писать без динамической проверки ownership, насколько часто компилятор будет активно мешать писать код, насколько усложняется разработка multithreaded кода gamedev-style (adhoc) etc.

[swizard.livejournal.com]

Как мне кажется, есть еще два ключевых фактора по которым Blow не начал тупо использовать Rust:

- он не готов технически (в смысле еще не stable)

Ага, это повод написать свой :)

[zeux.livejournal.com]

Фатальный недостаток.

[dmzlj.livejournal.com]

Вообще все эти его "готов... больше... меньше" говорят нам о том, что чувак напишет очередной бессмысленный язык вроде Go, если напишет хоть что-нибудь заметное вообще.

[thedeemon.livejournal.com]

Именно. Я от него чудес не ожидаю, и сам бы этот язык использовать не стал. Но просто прикольно.