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]

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

[swizard.livejournal.com]

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

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

[thedeemon.livejournal.com]

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

[swizard.livejournal.com]

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

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