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

EC>В сообщении по ссылке написано что-то дикое — какие-то пары с разметками.
EC>Мы наверное о разных хаскелях говорим.

EC>Ты можешь внятно ответить конструкторы в одном АлгТД конструируют значения одного типа или нет?

Давай уже ставить точку, ок? Я еще раз напомню в одном посте то, что говорил ранее и закончим, ибо же 5-й пост ничего нового не озвучено.

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

Насчёт разметки — это не дикое, это сущность размеченных объединений, я лишь проводил аналогию с объектами CLR, которые тоже содержат эту "разметку" в виде хендла типа.

Динамическое приведение типов в CLR (не преобразование, а именно приведение без изменения значения) — суть рантайм-тест этой "разметки", матч по алгебраическим типам в хаскеле — аналогично.