Что такое стиль полиморфизма Haskell?

Question

Что такое стиль полиморфизма Haskell?

В модели автоматизации VS существует

_DTE.MainWindow.Capation

, с которого Вы могли запустить.

См. http://msdn.microsoft.com/en-us/library/envdte._dte.mainwindow.aspx

26

haskell functional-programming polymorphism type-systems

задан Don Stewart 16 April 2011 в 20:18

1 ответ

Другие вопросы по тегам:

haskell functional-programming polymorphism type-systems

Похожие вопросы:

score 32 · Accepted Answer

Действительно, Haskell поддерживает как параметрический полиморфизм (более высокого ранга), так и специальный (или ограниченный ) полиморфизм. Параметрический полиморфизм в Haskell поддерживается через систему типов Hindley-Milner / System F . Специальный полиморфизм поддерживается с помощью классов типов.

Относительно происхождения классов типов и специального полиморфизма см. Статьи Вадлера:

Как сделать специальный полиморфизм менее специальным , Филип Уодлер и Стивен Блотт. 16-й симпозиум по принципам языков программирования, ACM Press, Остин, Техас, январь 1989 г.

Для происхождения различия между параметрическим и специальным полиморфизмом, вы можете найти документы Стрейчи,

C. Стрейчи, Основные понятия в языках программирования . Конспект лекций для Международной летней школы по компьютерному программированию, Копенгаген, август 1967 г.