Здравствуйте, Mamut, Вы писали:

Г>>>Впрочем, для нового витка вечного флейма «статика vs динамика» я что-то староват уже, кажется.
EP>>Не надо флейма, главное не опускать существенные детали — мол "тесты всё отловят".
M>Тесты все не отловят и на статике тоже.

Естественно, тесты и там всё не отловят.
А вот те ограничения которые задаются системой типов — проверяются гарантированно во время компиляции (если специально не обходить эту систему типов). Например так может проверятся правильность выражений на EDSL.

M>Тебе напомнить тривиальнейший пример, который «статисты» так и не смогли решить за два месяца? То-то же. Не надо преувеличивать и превозносить возможности и умения стат. типизации.

Не надо демагогии Я говорю про вполне конкретный аспект проверки правильности построения выражений DSL'ей во время компиляции.