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

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

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

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

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

А им требуется замена? По мне, это в чистом виде антипаттерн, к которому следует относится с большой осторожностью. Потеря абстракции и завязка на реализацию в обмен на сомнительное удобство обращения к переменным. Добавил одно поле — и надо править еще N классов и модулей, где этот тип используется, такого ада даже в языке С двадцать лет назад в эпоху расцвета процедурного программирования не было.