История изменений
Исправление
metaprog,
(текущая версия)
:
Про шаблоны не скажу, так как плюсами не болею и Александреску не читаю. Но, возможно, некоторая аналогия есть, 
paramon виднее.
Зачем вам статический анализ для этого, если другие языки делают такие типы без статического анализа?
То это что? На уровне каких таких алгоритмов? Разверните мысль пожалуйста.
Есть константы и проводки с данными, есть операции над ними, с ними можно вести статический анализ какие значения возможны на том или ином проводке.
Исходная версия
metaprog,
:
П>ро шаблоны не скажу, так как плюсами не болею и Александреску не читаю. Но, возможно, некоторая аналогия есть, paramon виднее.
Зачем вам статический анализ для этого, если другие языки делают такие типы без статического анализа?
То это что? На уровне каких таких алгоритмов? Разверните мысль пожалуйста.
Есть константы и проводки с данными, есть операции над ними, с ними можно вести статический анализ какие значения возможны на том или ином проводке.