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

[udpn.livejournal.com]

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

[sleepy-drago.livejournal.com]

для этого ... не обязательно все делать через опенЖ. достаточно выдать ручные тормоз для управления оптимизацией. например прагму инлайнинга в месте вызова. и тд и тп...

[udpn.livejournal.com]

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

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