EP>Ты понимаешь разницу между предусловием и простым if'ом внутри или снаружи функции? Без согласия в терминологии не вижу смысла продолжать ходить по кругу.

Я вижу, что ничего не изменилось. И все те же «предусловия» для функции x() никуда не делись. Они становятся «бессмысленными» только у тебя

M>>Ну в общем это все упирается только в «если у нас все абсолютно доступно во время компиляции». Да, это приятно, не скрою. Но нам, например, от этого ни холодно ни жарко

EP>А я уже показывал

Автор: Evgeny.Panasyuk
Дата: 10.02.15

полный рабочий пример в котором N псевдослучайных runtime флагов переводятся в compile-time значения, то есть в значения доступные во время компиляции

Что именно в этом примере нам дает стат. типизация? Да, я тупой. Я не понимаю, зачем это нужно.