Скажите пожалуйста, а switch-case для enum в Си++ — это тоже динамическая типизация?
V>Ты мне покажи вот так: V>main' :: Integer -> Integer -> a -> b -> Integer
V>Потом подай на a и b одинаковые типы извне. Вот это и будет настоящий ПП, а не тот, которым вы хотите незаслуженно обозвать систему типов Хаскеля.
Не понял. Что должна делать такая функция? Ругаться при компиляции на разные типы? Или молча жрать все? Тогда в чём замысел?
