Какие типы полиморфизма поддерживаются в Haskell?

Question

Читая определение полиморфизма в Википедии, у меня возникает вопрос:

Какие типы полиморфизмов поддерживаются в Haskell, а какие нет?

Похоже, что википедия делаетне содержат описания для некоторых типов полиморфизма, таких как Полиморфизм легкомыслия , который является новым для меня и поддерживается в Haskell.

Мне интересно иметь расширенный список Полиморфизм Хаскелла с примерами для глубокого изучения.

Похоже, основные два:

• Параметрический полиморфизм
• Специальный полиморфизм

Answer 1

В текущем Haskell есть как минимум четыре вещи, которые могут считаться полиморфизмом:

• Параметрический полиморфизм.(Также добрый полиморфизм , полиморфизм в видах вместо типов. Я предполагаю, что это параметрический полиморфизм на один уровень выше, поэтому я не считаю его отдельной записью.)
• Объявление-Hoc полиморфизм, включенный классами типов.Введено в Как сделать специальный полиморфизм менее специальным бумага.
• Структурный полиморфизм .Это тот, который включен generics .Функция может работать с несколькими типами данных, которые имеют разное количество полей и конструкторов.Например, общая функция равенства для записей.
• Левитный полиморфизм .Полиморфизм над соглашениями о вызовах / представлениями типов во время выполнения.Описано в статье Полиморфизм легкомыслия .

Существует еще два типа полиморфизма, которые могут быть введены в будущих версиях Haskell:

• Сопоставимость полиморфизма.Позволяет семействам типов высшего порядка работать как с конструкторами типов, так и с семействами типов в качестве аргументов.Описано в статье Программирование на уровне типов высшего порядка в Haskell .

• Полиморфизм множественности.Позволил бы функциям высшего порядка работать как с нормальными функциями, так и с линейными функциями в качестве аргументов.Описанная в статье Линейная практическая линейность Хаскеля в полиморфном языке высшего порядка .

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

Например,из бумаги полиморфизма легкомыслия:

Теперь мы можем представить основную идею статьи: заменить суб-сортировку на добрый полиморфизм.

Из бумаги, вводящей полиморфизм сопоставимости:

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

Из линейной бумаги на Haskell:

Отсутствие подтипов - это осознанный выбор в нашем дизайне

Саймон Пейтон Джонс сам говорит о 47: 00 в этом разговоре .

Когда вы хотите использовать подтип, используйте вместо этого полиморфизм.