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

В>>Паттерн-матчинг;
В>>Алгебраические типы данных;

LP>Эти два пункта скорее минус, чем плюс, так как провоцируют написание г-нокода.

Но есть ли нормальная замена union-типам? Все делать на классах?