Поддерживается ли в хаскеле полиморфизм?

Я прочитал несколько статей по этой теме, но так и не уяснил. Везде пишется о том, что хаскель поддерживает параметрический полиморфизм. Но это, собственно говоря, не особо интересно, какой язык не поддерживает его? В большинстве языков функции могут принимать аргументы разных типов. Проверяют в компилтайме не все конечно, но это уже другой вопрос. Не понимаю, зачем это вообще выдавать за фичу?

Нормальный полиморфизм, который, собственно говоря, и известен как полиморфизм -- это "единый интерфейс -- множество реализаций". Поддерживает ли его хаскель?

0

Сообщение от asmquest Нормальный полиморфизм, который, собственно говоря, и известен как полиморфизм -- это "единый интерфейс -- множество реализаций". Поддерживает ли его хаскель?

Да, в Хаскеле это называется "Классы типов" (не путать с классами ООП).
http://rsdn.org/article/haskel... .xml#ERAAG
Там же можно ознакомится и с другими моментами, составляющими основу Хаскеля.

3

asmquest, Вы все перепутали. Во-первых, аргументы разных типов у функции бывают только в языках с динамической типизацией. В языках со статической типизацией этого быть не может. "Нормальный полиморфизм" как раз в Хаскелле, а то, что называется полиморфизмом в ООП - в сравнении с Хаскеллом - иначе, как уродством не назовешь. Перегрузка функций с разными типами параметров и одним и тем же алгоритмом - это тупой копипаст. Параметризацию (<>) можно назвать нетупым копипастом (за человека это делает компилятор). И только в Хаскеле полиморфизм по-настоящему красив

2

Сообщение от Catstail Перегрузка функций с разными типами параметров и одним и тем же алгоритмом - это тупой копипаст.

Полиморфизм в динамических языках обычно не сводится к перегрузке, это Вы как раз со статическими
перепутали

Сообщение от Catstail Во-первых, аргументы разных типов у функции бывают только в языках с динамической типизацией.

Вообще то, я говорил не об аргументах разных типов, а о том, что функция может принимать в качество одного и того же аргумента разные типы. Например, функция map может принимать разные типы списков.

Сообщение от Catstail а то, что называется полиморфизмом в ООП - в сравнении с Хаскеллом

Вообще, я как бы старался быть политкорректным, и не выдвигать провокационные тезисы, но, по секрету говоря, я не считаю, что то что есть в хаскеле, и, даже в статическом ООП полиморфизмом вообще. Это жалкая пародия. Истинный полиморфизм может быть только в динамических ООП-языках, где типы являются первоклассными объектами. Но, будем придерживаться "общепринятой" терминологии, конструктива ради

Добавлено через 30 минут

Сообщение от Catstail Параметризацию (<>) можно назвать нетупым копипастом

Кстати, параметризация - это, как раз довольно тупая штука, там механизм схож с обычным каррированием/частичным применением, если я не ошибаюсь.

0

Я немного неудачно выразился. Имел в виду именно то, что имя функции одно и то же, а тип аргументов разный. Если типизация динамическая, эта возможность очевидна. Но у динамической типизации есть серьезный недостаток: низкая надежность. Да и производительность от дин. типизации не выигрывает. А при статической типизации принцип "имя одно, параметры разные" можно осуществить либо перегрузкой имени (о чем я писал), либо виртуализацией. Подозреваю, что именно виртуализацию Вы и называете "настоящим полиморфизмом". А на мой взгляд виртуализация неизящна хотя бы потому, что для объяснения ее сути приходится вводить в обиход понятия типа VTBL.

А в Хаскелле все действительно красиво!

За провокативный ответ приношу извинения, но провокация содержалась уже в Вашем вопросе.

0

Просто ТС не знает, что такое параметрический полиморфизм. ТС считает, что если функция принимает в качестве параметра разные типы, то это параметрический полиморфизм.

Сообщение от asmquest Везде пишется о том, что хаскель поддерживает параметрический полиморфизм. Но это, собственно говоря, не особо интересно, какой язык не поддерживает его?

С++ и множество других языков.

2

https://wiki.haskell.org/Polymorphism
https://en.wikibooks.org/wiki/Haskell/Polymorphism

2

Вот ещё на русском:
http://fprog.ru/2009/issue3/ro... ymorphism/

3