Хаскелл

Чтобы узнать о других значениях, см. Haskell (значения) .

Хаскелл

Парадигма	Чисто функциональный
Разработано	Леннарт Аугустссон , Дэйв Бартон, Брайан Бутел, Уоррен Бертон, Джозеф Фазель, Кевин Хаммонд, Ральф Хинце, Пол Худак , Джон Хьюз , Томас Джонссон, Марк Джонс, Саймон Пейтон Джонс , Джон Лаунбери , Эрик Мейер , Джон Петерсон, Аластер Рид, Колин Рансимен, Филип Уодлер
Впервые появился	1990 год ( 1990 )
Стабильная версия	Хаскелл 2010 / июль 2010 г ( 2010-07 )
Предварительный выпуск	Анонсирован Haskell 2020
Дисциплина набора текста	Предполагаемый , статичный , сильный
ТЫ	Кросс-платформенный
Расширения имен файлов	.hs, .lhs
Веб-сайт	хаскелл .org
Основные реализации
GHC , Обнимаю , NHC, JHC, Yhc , UHC
Диалекты
Гофер
Под влиянием
Чистый , ФП , Суслик , Надежда и надежда + , Идентификатор , Я ПЛАВАЮ , КРЦ , Лисп , Миранда , ML и стандартный ML , Оруэлл , SASL , Схема , СИЗАЛЬ
Под влиянием
Приглашать , Блюспек , C++11 / Концепции , С# / ЛИНК , КАЛ, Кайенна , Чистый , Клююр , КофеСкрипт , Карри , Вяз , Эпиграмма , Эшер , Ф# , Хак , Идрис , Изабель , Java / дженерики , LiveScript , Меркурий , Оммега , PureScript , Питон , Раку , Ржавчина , Скала , Быстрый , Визуал Бейсик 9.0

Haskell ( / ˈ h æ s k əl / ) — общего назначения чисто статически типизированный язык функциональный программирования с выводом типа и ленивым вычислением . Разработанный для обучения, исследований и промышленного применения, Haskell впервые ввел ряд функций языка программирования, таких как классы типов , которые обеспечивают типобезопасную перегрузку операторов , и монадический ввод/вывод (IO). Он назван в честь логика Хаскелла Карри . Основной реализацией Haskell является компилятор Glasgow Haskell (GHC).

Haskell Семантика исторически основана на семантике языка программирования Miranda , который служил для сосредоточения усилий первоначальной рабочей группы Haskell. Последняя официальная спецификация языка была сделана в июле 2010 года, в то время как разработка GHC продолжает расширять Haskell за счет языковых расширений.

Haskell используется в научных кругах и промышленности. По состоянию на май 2021 г. , Haskell занял 28-е место по популярности языка программирования по результатам поиска учебных пособий в Google . и составлял менее 1% активных пользователей в GitHub . репозитории исходного кода

История

После выпуска Miranda компанией Research Software Ltd. в 1985 году интерес к ленивым функциональным языкам вырос. К 1987 году существовало более дюжины нестрогих , чисто функциональных языков программирования. Miranda использовалась наиболее широко, но это было проприетарное программное обеспечение . На конференции по функциональным языкам программирования и компьютерной архитектуре (FPCA '87) в Портленде, штат Орегон , было достигнуто твердое согласие о создании комитета для определения открытого стандарта для таких языков. Целью комитета было объединить существующие функциональные языки в один, который послужит основой для будущих исследований в области проектирования функциональных языков.

Haskell 1.0–1.4

Haskell был разработан комитетом, пытавшимся по возможности объединить готовые решения.

Классы типов , которые обеспечивают типобезопасную перегрузку операторов , были впервые предложены Филипом Уодлером и Стивеном Блоттом для решения специальной обработки типов равенства и арифметической перегрузки в языках того времени.

В ранних версиях Haskell, вплоть до версии 1.2, взаимодействие с пользователем и ввод-вывод (ввод и вывод) обрабатывались как механизмами, основанными на потоках, так и механизмами продолжения, которые многие считали неудовлетворительными. В версии 1.3 был представлен монадический ввод-вывод, а также обобщение классов типов до более высоких видов (конструкторов типов). Наряду с «нотацией do», которая обеспечивает синтаксический сахар для класса типов Monad, это дало Haskell систему эффектов, которая поддерживала ссылочную прозрачность и была удобна.

Другими заметными изменениями в ранних версиях были подход к функции seq, которая создает зависимость данных между значениями и используется в ленивых языках, чтобы избежать чрезмерного потребления памяти; при этом он переходит от класса типа к стандартной функции, чтобы сделать рефакторинг более практичным.

Первая версия Haskell («Haskell 1.0») была определена в 1990 году. Усилия комитета привели к появлению ряда определений языка (1.0, 1.1, 1.2, 1.3, 1.4).

Иерархия классов типов в прелюдии Haskell начиная с GHC 7.10. Включение Foldable и Traversable (с соответствующими изменениями в сигнатурах типов некоторых функций) и Applicative в качестве промежуточного звена между Functor и Monad является отклонением от стандарта Haskell 2010.

Хаскель 98

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

В феврале 1999 года стандарт языка Haskell 98 был первоначально опубликован как The Haskell 98 Report . В январе 2003 года исправленная версия была опубликована как Haskell 98 Language and Libraries: The Revised Report . Язык продолжает быстро развиваться: реализация компилятора Glasgow Haskell (GHC) представляет собой текущий стандарт де-факто .

Хаскелл 2010

В начале 2006 года начался процесс определения преемника стандарта Haskell 98, неофициально названного Haskell Prime . Предполагалось, что это будет непрерывный постепенный процесс пересмотра определения языка, включающий новую редакцию не чаще одного раза в год. Первая редакция под названием Haskell 2010 была анонсирована в ноябре 2009 года. и опубликовано в июле 2010 г.

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

• Иерархические имена модулей. Имена модулей могут состоять из последовательностей идентификаторов, разделенных точками, а не только из одного такого идентификатора. Это позволяет модулям именоваться иерархически (например, Data.List вместо List), хотя технически модули по-прежнему находятся в одном монолитном пространстве имен. Это расширение было указано в дополнении к Haskell 98 и на практике использовалось повсеместно.
• Интерфейс внешних функций (FFI) позволяет выполнять привязку к другим языкам программирования. только привязки к C В Отчете указаны , но конструкция допускает привязки к другим языкам. Чтобы поддержать это, объявлениям типов данных было разрешено не содержать конструкторов, что позволило использовать надежные типы nonce для внешних данных, которые нельзя было создать в Haskell. Это расширение также было ранее указано в дополнении к отчету Haskell 98 и широко использовалось.
• Так называемые шаблоны n + k (определения вида fact (n+1) = (n+1) * fact n) больше не допускались. Этот синтаксический сахар имел вводящую в заблуждение семантику: код выглядел так, будто он использует (+) оператор, но фактически очищен от кода с использованием (-) и (>=).
• Правила вывода типов были смягчены, чтобы позволить большему количеству программ выполнять проверку типов.
• некоторые синтаксические Исправлены защитные меры по шаблону проблемы (изменения в формальной грамматике): добавлены , позволяющие сопоставлять шаблоны внутри защитных мер; разрешение фиксированности оператора было задано более простым способом, отражающим реальную практику; Был рассмотрен крайний случай взаимодействия лексического синтаксиса операторов и комментариев языка, а взаимодействие do-нотации и if-then-else было изменено для устранения непредвиденных синтаксических ошибок.
• The LANGUAGE была указана прагма . К 2010 году широко использовались десятки расширений языка, и GHC (среди других компиляторов) предоставил LANGUAGEпрагма для указания отдельных расширений со списком идентификаторов. Компиляторы Haskell 2010 должны поддерживать Haskell2010 Расширение и рекомендуется поддерживать несколько других, которые соответствуют расширениям, добавленным в Haskell 2010.

стандарты

Следующая официальная спецификация была запланирована на 2020 год. 29 октября 2021 года в версии GHC 9.2.1 было выпущено расширение GHC2021. Хотя это не формальная спецификация языка, она объединяет ряд стабильных и широко используемых расширений GHC для Haskell 2010.

Особенности

Основная статья: Возможности Haskell

См. также: Компилятор Glasgow Haskell § Расширения Haskell.

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

Haskell имеет строгую систему типов , статическую основанную на выведении типа Хиндли-Милнера . Его основным нововведением в этой области являются классы типов, изначально задуманные как принципиальный способ добавления перегрузки в язык. но с тех пор нашел гораздо больше применений.

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

Haskell имеет открытую опубликованную спецификацию. и существует множество реализаций . Его основная реализация, компилятор Glasgow Haskell (GHC), является одновременно интерпретатором и собственного кода компилятором , который работает на большинстве платформ. GHC известен своей богатой системой типов, включающей последние инновации, такие как обобщенные алгебраические типы данных и семейства типов. Игра Computer Language Benchmarks Game также подчеркивает высокопроизводительную реализацию параллелизма и параллелизма .

доступно более 5400 сторонних библиотек и инструментов с открытым исходным кодом Вокруг языка существует активное, растущее сообщество, и в онлайн-репозитории пакетов Hackage .

Примеры кода

См. также: Возможности Haskell § Примеры.

« Привет, мир!» программа на Haskell (строго обязательна только последняя строка):

модуль   Main   (  main  )   где            -- не требуется в интерпретаторе, является значением по умолчанию в файле модуля 

 main   ::   IO   ()                       -- компилятор может вывести это определение типа 
 main   =   putStrLn   "Hello, World!" 

Функция факториал в Haskell, определенная несколькими разными способами (первая строка — это аннотация типа , которая не является обязательной и одинаковой для каждой реализации):

Factorial   ::   (  Integral   a  )   =   a   >   a 

 выражением 
 )   Использование   >   »   ifthenelse   -   рекурсии 
               «   ( 
               —   с  ​  ​  ​ ​  ​  ​ ​ 

 ​сопоставление) 
 факториал   0   =   1 
 факториал   n   =   n   *   факториал   (  n   -   1  ) 

 -- Использование рекурсии (с защитой) 
 факториал   n 
    |    п   <   2       знак равно   1 
    |    иначе   =   n   *   Factorial   (  n   -   1  ) 

 -- Использование списка и функции "произведение" 
 Factorial   n   =   Product   [  1  ..  n  ] 

 -- Использование сгиба (реализует "продукт") 
 Factorial   n   =   foldl   (  *  )   1   [  1  ..  n  ] 

 без точек 
 -- Факториал   =   foldr   (  *  )   1   .    перечислениеFromTo   1 

Haskell Использование комбинатора с фиксированной точкой позволяет написать эту функцию без какой-либо явной рекурсии.

импортировать   данные.Функция   (  исправить  ) 

 факториал   =   исправить   fac 
   где   fac   f   x  
           |    х   <   2       =   1 
           |    иначе   =   x   *   f   (  x   -   1  ) 

Поскольку тип Integer имеет произвольную точность , этот код будет вычислять такие значения, как factorial 100000 (число из 456 574 цифр) без потери точности.

Реализация алгоритма, аналогичного быстрой сортировке списков, где в качестве опорного принимается первый элемент:

-- Введите аннотацию (необязательно, одинаковую для каждой реализации) 
 QuickSort   ::   Ord   a   =>   [  a  ]   ​​->   [  a  ] 

 ​​-- Использование списков 
 QuickSort   []       =   []                                 -- Пустой список уже отсортирован 
 QuickSort   (  x  :  xs  )   =   быстрая сортировка   [  а   |    a   <-   xs  ,   a   <   x  ]     — Сортировка левой части списка 
                    ++   [  x  ]   ++                          — Вставка опорной точки между двумя отсортированными частями 
                    QuickSort   [  a   |    a   <-   xs  ,   a   >=   x  ]    -- Сортировка правой части списка 

 -- Использование фильтра 
 QuickSort   []       =   [] 
 QuickSort   (  x  :  xs  )   =   QuickSort   (  filter   (  <  x  )   xs  ) 
                    ++   [  x  ]   ++ 
                    быстрая сортировка   (  фильтр   (  >=  x  )   xs  ) 

Реализации

Все перечисленные реализации распространяются по лицензиям с открытым исходным кодом .

Реализации, которые полностью или почти соответствуют стандарту Haskell 98, включают:

• Компилятор Glasgow Haskell (GHC) компилируется в собственный код на многих различных процессорных архитектурах и в ANSI C через один из двух промежуточных языков : C-- или, в более поздних версиях, биткод LLVM (ранее — виртуальная машина низкого уровня). GHC стал де-факто стандартным диалектом Haskell. Существуют библиотеки (например, привязки к OpenGL ), которые работают только с GHC. GHC также распространялся вместе с платформой Haskell .
• Jhc, компилятор Haskell, написанный Джоном Мичемом, уделяет особое внимание скорости и эффективности создаваемых программ и исследованию новых преобразований программ.
  • Ajhc — это форк Jhc.
• Утрехтский компилятор Haskell (UHC) — это реализация Haskell, разработанная Утрехтским университетом . Он поддерживает почти все функции Haskell 98, а также множество экспериментальных расширений. Он реализован с использованием грамматик атрибутов и в основном используется для исследования систем сгенерированных типов и расширений языка.

Реализации, которые больше не поддерживаются активно, включают:

• Система Gofer пользователя Haskell ( Hugs ) — интерпретатор байт-кода . Когда-то это была одна из наиболее широко используемых реализаций наряду с компилятором GHC. но сейчас его в основном заменил GHCI. Он также поставляется с графической библиотекой.
• HBC — ранняя реализация, поддерживающая Haskell 1.4. Он был реализован Леннартом Аугустссоном и на его основе в Lazy ML . Некоторое время он активно не развивался.
• nhc98 — это компилятор байт-кода, ориентированный на минимизацию использования памяти.
  • Компилятор York Haskell ( Yhc ) был ответвлением nhc98, целью которого было сделать его более простым, портативным и эффективным, а также интегрировать поддержку Hat, трассировщика Haskell. Он также имел серверную часть JavaScript , позволяющую пользователям запускать программы Haskell в веб-браузерах .

Реализации, не полностью совместимые с Haskell 98 и использующие вариант языка Haskell, включают:

• Эта и Фреге — это диалекты Haskell, предназначенные для виртуальной машины Java .
• Gofer — это образовательный диалект Haskell с функцией, называемой классами-конструкторами , разработанный Марком Джонсом. Она заменена системой Gofer пользователя Haskell (Hugs).
• Helium, новый диалект Haskell. Основное внимание уделяется упрощению обучения за счет более четких сообщений об ошибках за счет отключения классов типов по умолчанию.

Известные приложения

• Помощник по доказательству Agda написан на Haskell.
• Cabal — это инструмент для создания и упаковки библиотек и программ Haskell.
• Darcs — это система контроля версий, написанная на Haskell, с несколькими инновационными функциями, такими как более точный контроль над применяемыми исправлениями.
• GHC также часто является испытательным стендом для расширенных функций функционального программирования и оптимизации на других языках программирования.
• Git-annex — это инструмент для управления (большими) файлами данных под Git контролем версий . Он также предоставляет распределенную систему синхронизации файлов (помощник git-annex).
• Linspire Linux выбрала Haskell для разработки системных инструментов.
• Pandoc — это инструмент для преобразования одного формата разметки в другой.
• Pugs — это компилятор и интерпретатор языка Raku программирования (ранее Perl 6).
• TidalCycles — это специальный язык для живого кодирования музыкальных шаблонов, встроенный в Haskell.
• Xmonad — оконный менеджер для X Window System , полностью написанный на Haskell.
• ГарганТекст это инструмент для совместной работы для отображения текстов семантического анализа в любом веб-браузере , полностью написанный на Haskell и PureScript , который используется, например, в исследовательском сообществе для составления современных отчетов и дорожных карт.

Промышленность

• Bluespec SystemVerilog (BSV) — это язык проектирования полупроводников, являющийся расширением Haskell. Кроме того, инструменты Bluespec, Inc. реализованы на Haskell. Обратите внимание, что это пример предметно -ориентированного языка, встроенного в Haskell.
• Cryptol — язык и набор инструментов для разработки и проверки алгоритмов шифрования , реализован на Haskell.
• Facebook внедряет свои программы по борьбе со спамом в Haskell, поддерживая базовую библиотеку доступа к данным как программное обеспечение с открытым исходным кодом .
• Блокчейн -платформа Cardano реализована на Haskell.
• GitHub реализовал Semantic , библиотеку с открытым исходным кодом для анализа, сравнения и интерпретации ненадежного исходного кода на Haskell.
• Язык финансового моделирования Mu компании Standard Chartered представляет собой синтаксический язык Haskell, работающий в строгой среде выполнения.
• seL4 , первое официально проверенное микроядро , использовал Haskell в качестве языка прототипирования для разработчика ОС. В то же время код Haskell определял исполняемую спецификацию, с помощью которой можно было рассуждать для автоматического перевода с помощью инструмента доказательства теорем. Таким образом, код Haskell служил промежуточным прототипом перед окончательной C. доработкой
• Программное обеспечение для оптимизации цепочки поставок целевых магазинов написано на Haskell.
• коллега по фильму

Интернет

Известные веб-фреймворки , написанные для Haskell, включают:

• ИПЦ
• Слуга
• Щелчок
• Йесод

Критика

Ян-Виллем Массен в 2002 году и Саймон Пейтон Джонс в 2003 году обсудили проблемы, связанные с ленивым вычислением, а также признали теоретические мотивы этого явления. Помимо чисто практических соображений, таких как повышение производительности, они отмечают, что ленивые вычисления затрудняют программистам оценку производительности своего кода (особенно его использования пространства).

Бастиан Херен, Даан Лейен и Арьян ван Айзендорн в 2003 году также заметили некоторые камни преткновения для изучающих Haskell: «Тонкий синтаксис и сложная система типов Haskell — это палка о двух концах, которую высоко ценят опытные программисты, но также и источник разочарования среди новичков». , поскольку общность Haskell часто приводит к загадочным сообщениям об ошибках». Для устранения сообщений об ошибках исследователи из Утрехтского университета разработали усовершенствованный интерпретатор под названием Helium , который повысил удобство использования сообщений об ошибках за счет ограничения общности некоторых функций Haskell. В частности, он по умолчанию отключает классы типов.

Бен Липпмайер разработал Disciple как строгий по умолчанию (ленивый посредством явных аннотаций) диалект Haskell с системой типов и эффектов, чтобы решить трудности Haskell в рассуждениях о ленивых вычислениях и использовании традиционных структур данных, таких как изменяемые массивы. Он утверждает (стр. 20), что «деструктивное обновление предоставляет программисту два важных и мощных инструмента… набор эффективных структур данных, подобных массивам, для управления коллекциями объектов и… возможность транслировать новое значение в все части программы с минимальной нагрузкой на программиста».

Роберт Харпер , один из авторов Standard ML, объяснил причины, по которым он не использует Haskell для обучения вводному программированию. Среди них — сложность рассуждений об использовании ресурсов с помощью нестрогих оценок, ленивые вычисления усложняют определение типов данных и индуктивные рассуждения. и «неполноценность» (старой) системы классов Haskell по сравнению с системой модулей ML.

Инструмент сборки Haskell, Cabal , исторически подвергался критике за плохую обработку нескольких версий одной и той же библиотеки, проблему, известную как «Кабаловый ад». Сервер Stackage и инструмент сборки Stack были созданы в ответ на эту критику. Сам Cabal теперь имеет гораздо более сложную систему сборки, во многом вдохновленную Nix . который стал значением по умолчанию в версии 3.0.

Родственные языки

Clean — близкий, немного более старый родственник Haskell. Его самое большое отклонение от Haskell заключается в использовании типов уникальности вместо монад для ввода-вывода и побочных эффектов.

Был разработан ряд языков, вдохновленных Haskell, но с разными системами типов, в том числе:

• Agda — функциональный язык с типами. зависимыми
• Кайенский , с зависимыми типами.
• Elm — функциональный язык для создания интерфейсных веб-приложений, без поддержки пользовательских высшего классов или экземпляров типов типа .
• Epigram — функциональный язык с зависимыми типами, подходящий для доказательства свойств программ.
• Idris — функциональный язык общего назначения с зависимыми типами, разработанный в Университете Сент-Эндрюс .
• PureScript транслируется в JavaScript.
• Ωmega — строгий язык, позволяющий вводить новые виды и программировать на уровне типов.

Другие родственные языки включают:

• Curry — язык функционального/логического программирования, основанный на Haskell.

Известные варианты Haskell включают:

• Generic Haskell — версия Haskell с поддержкой системы типов для универсального программирования .
• Hume , строгий функциональный язык для встроенных систем, основанный на процессах как автоматах без сохранения состояния в своего рода кортежах одноэлементных каналов почтовых ящиков, где состояние сохраняется посредством обратной связи с почтовыми ящиками, и описанием отображения выходов на каналы в виде коробчатой ​​проводки, с Haskell-подобный язык выражений и синтаксис.

Конференции и семинары

Сообщество Haskell регулярно встречается для проведения исследований и разработок. Основные события:

• Международная конференция по функциональному программированию (ICFP)
• Симпозиум Haskell (ранее Haskell Workshop)
• Семинар разработчиков Haskell
• Коммерческие пользователи функционального программирования (CUFP)
• ЗуриХак, своего рода хакатон , проводимый каждый год в Цюрихе

серия организованных хакатонов серии Hac, направленных на улучшение инструментов и библиотек языков программирования. Начиная с 2006 года проводится

Библиография

Отчеты

• Пейтон Джонс, Саймон , изд. (2003). Язык Haskell 98 и библиотеки: пересмотренный отчет . Издательство Кембриджского университета. ISBN  978-0521826143 .
• Марлоу, Саймон , изд. (2010). Отчет о языке Haskell 2010 (PDF) . Хаскелл.орг.

Учебники

• Дэви, Энтони (1992). Введение в системы функционального программирования с использованием Haskell . Издательство Кембриджского университета. ISBN  978-0-521-25830-2 .
• Берд, Ричард (1998). Введение в функциональное программирование с использованием Haskell (2-е изд.). Прентис Холл Пресс. ISBN  978-0-13-484346-9 .
• Худак, Пол (2000). Школа экспрессии Haskell: изучение функционального программирования с помощью мультимедиа . Нью-Йорк: Издательство Кембриджского университета. ISBN  978-0521643382 .
• Хаттон, Грэм (2007). Программирование на Хаскеле . Издательство Кембриджского университета. ISBN  978-0521692694 .
• О'Салливан, Брайан; Стюарт, Дон; Герцен, Джон (2008). Реальный мир Haskell . Севастополь: О'Рейли. ISBN  978-0-596-51498-3 . Реальный мир Haskell (полный текст).
• Томпсон, Саймон (2011). Haskell: Искусство функционального программирования (3-е изд.). Аддисон-Уэсли. ISBN  978-0201882957 .
• Липовача, Миран (апрель 2011 г.). Изучите Haskell во благо! . Сан-Франциско: Пресса без крахмала. ISBN  978-1-59327-283-8 . ( полный текст )
• Берд, Ричард (2014). Функциональное мышление с помощью Haskell . Издательство Кембриджского университета. ISBN  978-1-107-45264-0 .
• Бёрд, Ричард ; Гиббонс, Джереми (июль 2020 г.). Проектирование алгоритмов на Haskell . Издательство Кембриджского университета. ISBN  978-1-108-49161-7 .

Учебники

• Худак, Павел ; Петерсон, Джон; Фазель, Джозеф (июнь 2000 г.). «Нежное введение в Haskell, версия 98» . Хаскелл.орг .
• Изучите Haskell во благо! - Версия сообщества ( learnyouahaskell.github.io ) . Актуальная версия известного руководства «Изучите Haskell» (LYAH), поддерживаемая сообществом.
• Доме, Хэл III. «Еще один учебник по Haskell» (PDF) . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь ) Предполагает гораздо меньше предварительных знаний, чем официальное руководство.
• Йоргей, Брент (12 марта 2009 г.). «Типклассопедия» (PDF) . Монада.Читатель (13): 17–68.
• Магуайр, Сэнди (2018). Мышление типами: программирование на уровне типов на Haskell .

История

• Худак, Павел ; Хьюз, Джон ; Пейтон Джонс, Саймон ; Уодлер, Филип (2007). «История Haskell» (PDF) . Материалы третьей конференции ACM SIGPLAN по истории языков программирования . стр. 12–1–55. дои : 10.1145/1238844.1238856 . ISBN  978-1-59593-766-7 . S2CID   52847907 .
• Гамильтон, Наоми (19 сентября 2008 г.). «А-Я языков программирования: Haskell» . Компьютерный мир .

Внешние ссылки

• Официальный веб-сайт