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

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

VE>>Скажите пожалуйста, а switch-case для enum в Си++ — это тоже динамическая типизация?

V>Тоже. Но сравнение я приводил 1. для статической диспетчеризации в рантайм (для привденной попытки на C++), или для табличной диспетчеризации. И даже говорил, что именно я сравниваю — ветвление ныне дорого из-за длинных конвейеров внутри процессоров.

Тогда if-else тоже динамическая типизация.

VE>>Не понял. Что должна делать такая функция? Ругаться при компиляции на разные типы? Или молча жрать все? Тогда в чём замысел?

V>Например том, чтобы она смогла быть применена в таком контексте, где a и b могут выводиться как одни и те же типы, а могут и нет.

Зачем?
Тем более, что это не ПП, а речь-таки о нём шла.

V>Речь идет о возможностях техники навроде static_if в С++. Возможностей Хаскеля для сравнимой реализации такой техники недостаточно, т.к. нет аппарата compile-time вычислений.

Во-первых, как это нету?
Во-вторых, можно пример, когда static_if не является сам по себе костылём?