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

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

Ага. Вот только к динамической типизации это отношения не имеет. Ведь все типы известны во время компиляции.
АлгТД — это вид полиморфизма. Эдакое безопасное объедение.

Никто же не называет С++ динамически-типизированным только из того факта, что в нем поддерживаются виртуальные методы которые пиводят к тому, что реальный тип объекта становится известным только во время выполнения?