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

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

R>>Если выразить инварианты программы на уровне типов,

EP>Выражай их и в C++ — самая развитая система типов среди mainstream языков

Algebraic data types нет. Я где-то тут приводил темплейтно/макросный ужас, который нужен для более-вменяемого discriminated union.