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

[sober-space.livejournal.com]

Но это в сочетании с еще одной идеей, которую я пока не встречал в известных мне языках - совмещенный конструктор/деструктор

codestructor MyType(x, y, ...) {
//здесь конструируем результат
...

//директива lifecycle
lifecycle;

//здесь код деструктора
...
}

Компилятор автоматически разделял бы это на конструктор и деструктор, используя lifecycle как разделитель. Тогда defer'ы размещенные в начале "кодеструктора" выполнялись бы в реальном деструкторе.

[zaharchenko]

что-то не пойму, в чем lifecycle; отличается от:
"
};
__dectructor(){
"

???

[sober-space.livejournal.com]

defer'ом
И общими переменными

[zaharchenko]

Ничего не понимаю:-)
Что дадут общие переменные у конструктора и деструктора, в плане отказа от GC и чем не угодили свойства объекта? И что вы дефером называете?

[sober-space.livejournal.com]

Лень рассказывать, извините.

А defer - это go defer: habrahabr.ru/post/118898/

[zaharchenko]

Да что вы, за ссылку спасибо, сразу идея понятнее стала :-)

[thedeemon.livejournal.com]

Занятно. Но ведь общим переменным придется неявно стать полями объекта, чтобы дожить до деконструкции?

[sober-space.livejournal.com]

Ну да, типа деструктор-замыкание.