Исходное сообщение
"Доступен язык программирования Rust 1.8" Отправлено freehck, 18-Апр-16 12:10
> Т.е. хитро извращаться можно и в хаскелле, однако ориентироваться на таких вот > хитрых рукопопов все же наверное не стоит. В Haskell числа имеют тип Num a. Вся соль в том, что тут мы доопределяем функцию, не изменяя её типа, потому что (+) в Haskell имеет тип Num a => a -> a -> a. Мы просто уточняем алгоритм для конкретного a. Тем расширение класса типов и отличается от перегрузки. И вроде это могло бы привести к нарушению системы типов, однако Haskell тут спасает ленивость и то, что он чисто функциональный. Хотя, конечно, некоторого side-effect-а можно и тут добиться (если программист совсем уж исхитрился и замонадился по уши). В Ocaml, кстати, тоже есть нечто подобное под названием variant types. PS: Спасибо на добром слове, а то мне этот тред уже было противно продолжать.