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

[thedeemon.livejournal.com]

Да не хочет он играть, это просто прикольная демка была. А польза - усиление типизации произвольными проверками (где получится) без усложнения системы типов и превращения языка в теоремпрувер, всяческая кодогенерация.

[sleepy-drago.livejournal.com]

>да не хочет он ...
3 раза ха. проблема теоретических людей в том что они упорно продолжают читать текст когда им наглядно показывают. Тут уже выросло поколение, которое "чистые" и тп функции распространяет на все программирование а не только на свой 1 компилятор. Как дать этим ребятам щелчок по носу? добавить ввод пользователя в компилятор. мол "порассуждайте теперь о чистоте, умники".

[thedeemon.livejournal.com]

Нет никакого текста, только видео. Которые я смотрел, а вы нет.

[sleepy-drago.livejournal.com]

> Которые я смотрел, а вы нет.
виновен, однозначно. краткий транскрипт событий на реддите отбил всякое желание =)

[109.livejournal.com]

> польза - усиление типизации произвольными проверками

примерно как c# code contracts (тоже в compile-time выполняются, когда возможно), или есть существенные отличия?

[thedeemon.livejournal.com]

Примерно, да. Только пока не похоже, чтобы он делал автоматический выбор фазы, - запускать код в компайл-тайме или в рантайме тут решает программист.