Виды связи символа с его значением

[_winnie]

Модификаторы для глобальных переменных:
constexpr - для выражений вычислимых в compile-time отдельного модуля
linkexpr - для выражений вычислимых при полной сборке системы
deployexpr - для выражений вычислимых при инсталляции системы
rebootexpr - для выражений вычислимых при старте хоста
initexpr - для выражений вычислимых при старте программы
expr

Comments

[occuserpens]

Т.е. скрипты, выполняемые при ребуте, билде и т.д. объединяются в одного монстра с такими квалификаторами. Свят-свят-свят, изыди сатана.

[moon_aka_sun]

Во многих программах, кажется, есть moonphaseexpr.

[archaicos]

Мне кажется, что все попытки всех и всё построить имеют весьма ограниченный успех. Всегда где-нибудь ввернут рекурсию или цикл, и красоте настанет капец. :)

[kodt_rsdn]

Можно попробовать реализовать с помощью шаблонов с тэгами. На оптимизацию это не повлияет, но по пальцам, при необходимости, надаёт.

Как это сделать на хаскелле, примерно представляю - фантомными типами.
На плюсах - только если очень много синтаксического шума.

Вариант: сделать препроцессор наподобие кутешного, чтобы из кода

TAGGED class foo
{
int x;
int foo(int y);
};

рожал

template class foo
{
tagged x;
tagged foo(tagged y);
// и всякие ко-контравариантные операторы приведения к foo
};

[unknown_orient]

В AngularJS есть link time и compile time вычисления :)