Haskell (язык программирования) - Haskell (programming language)

Haskell
Логотип Haskell
ПарадигмаЧисто функциональный
РазработаноЛеннарт Аугустссон, Дэйв Бартон, Брайан Бутель, Уоррен Бертон, Джозеф Фазел, Кевин Хаммонд, Ральф Хинце, Пол Худак, Джон Хьюз, Томас Джонссон, Марк Джонс, Саймон Пейтон Джонс, Джон Лаанчбери, Эрик Мейер, Джон Петерсон, Аластер Рид, Колин Рансимен, Филип Вадлер
Впервые появился1990; 30 лет назад (1990)[1]
Стабильный выпуск
Haskell 2010[2] / Июль 2010 г.; 10 лет назад (2010-07)
Предварительный выпуск
Анонсирован Haskell 2020[3]
Печатная дисциплинаПредполагаемый, статический, сильный
Операционные системыКроссплатформенность
Расширения имени файла.hs, .lhs
Интернет сайтwww.haskell.org
Основной реализации
GHC, Объятия, NHC, JHC, Yhc, UHC
Диалекты
Гелий, Гофер
Под влиянием
Чистый,[4] FP,[4] Гофер,[4] Надеяться и надежда+,[4] Идентификатор,[4] Я ПЛАВАЮ,[4] KRC,[4] Лисп,[4] Миранда,[4] ML и Стандартный ML,[4] Оруэлл, SASL,[4] Схема,[4] СИЗАЛ[4]
Под влиянием
Агда,[5] Bluespec,[6] C ++ 11 /Концепции,[7] C # /LINQ,[8][9][10][11] CAL,[нужна цитата ] Cayenne,[8] Чистый,[8] Clojure,[12] CoffeeScript,[13] Карри,[8] Вяз, Эпиграмма,[нужна цитата ] Эшер,[14] F #,[15] Frege,[16] Взломать,[17] Идрис,[18] Изабель,[8] Ява /Дженерики,[8] LiveScript,[19] Меркурий,[8] Ωmega,[нужна цитата ] PureScript,[20] Python,[8][21] Раку,[22] Ржавчина,[23] Scala,[8][24] Быстрый,[25] Древесина,[26] Visual Basic 9.0[8][9]

Haskell /ˈчасæskəl/[27] это общее назначение, статически типизированный, чисто функциональный язык программирования с вывод типа и ленивая оценка.[28][29] Разработанный так, чтобы быть подходящим для обучения, исследований и промышленного применения, Haskell является пионером в использовании ряда передовых функций языка программирования, таких как типовые классы, которые позволяют типобезопасный перегрузка оператора. Основная реализация Haskell - это Компилятор Glasgow Haskell (GHC). Он назван в честь логик Хаскелл Карри.[1]

Haskell's семантика исторически основаны на Миранда язык программирования, на котором сосредоточены усилия первоначальной рабочей группы Haskell.[30] Последняя формальная спецификация языка была сделана в июле 2010 года, в то время как разработка реализации GHC продолжала расширять Haskell с помощью языковых расширений. Следующая формальная спецификация запланирована на 2020 год.[3]

Haskell используется в академических кругах[31][32] и промышленность.[33][34] По состоянию на сентябрь 2019 года Haskell был 23-м по популярности языком программирования с точки зрения поиска в Google.[35] для учебных пособий и составляет менее 1% активных пользователей репозитория исходного кода GitHub.[36]

История

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

Haskell от 1.0 до 1.4

Типовые классы, которые позволяют типобезопасный перегрузка оператора, были впервые предложены Филип Вадлер и Стивен Блотт за Стандартный ML но впервые были реализованы в Haskell между 1987 и версией 1.0.[38][39]

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

Типовые классы зародился в Haskell

Haskell 98

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

В феврале 1999 года стандарт языка Haskell 98 был первоначально опубликован как Отчет Haskell 98.[37] В январе 2003 года пересмотренная версия была опубликована как Язык и библиотеки Haskell 98: обновленный отчет.[29] Язык продолжает быстро развиваться, Компилятор Glasgow Haskell (GHC), представляющая текущий де-факто стандарт.[40]

Haskell 2010

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

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

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

Функции

Основная статья: Возможности Haskell
Смотрите также: Компилятор Glasgow Haskell § Расширения Haskell

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

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

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

У Haskell есть открытая опубликованная спецификация,[29] и существует несколько реализаций. Его основная реализация - Компилятор Glasgow Haskell (GHC), является устный переводчик и собственный код компилятор который работает на большинстве платформ. GHC известен своей богатой типовой системой, включающей последние инновации, такие как обобщенные алгебраические типы данных и типовые семейства. Игра "Тесты компьютерного языка" также подчеркивает его высокопроизводительную реализацию параллелизм и параллелизм.[44]

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

Примеры кода

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

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

модуль Главный (главный) куда          - не требуется в интерпретаторе, используется по умолчанию в файле модуляглавный :: IO ()                     - компилятор может вывести определение этого типаглавный = putStrLn "Привет, мир!"

В факториал функция в Haskell, определенная несколькими способами:

- Аннотация типа (необязательно, одинаковая для каждой реализации)факториал :: (интеграл а) => а -> а- Использование рекурсии (с выражением ifthenelse)факториал п = если п < 2              тогда 1              еще п * факториал (п - 1)- Использование рекурсии (с сопоставлением с образцом)факториал 0 = 1факториал п = п * факториал (п - 1)- Использование рекурсии (с охранниками)факториал п   | п < 2     = 1   | иначе = п * факториал (п - 1)- Использование списка и функции "продукт"факториал п = товар [1..п]- Использование фальца (реализует «продукт»)факториал п = складка (*) 1 [1..п]- Бесточечный стильфакториал = складной (*) 1 . enumFromTo 1

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

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

- Аннотация типа (необязательно, одинаковая для каждой реализации)quickSort :: Ord а => [а] -> [а]- Использование списковquickSort []     = []                               - Пустой список уже отсортированquickSort (Икс:хз) = quickSort [а | а <- хз, а < Икс]   - Сортировать левую часть списка                   ++ [Икс] ++                        - Вставьте стержень между двумя отсортированными деталями                   quickSort [а | а <- хз, а >= Икс]  - Сортировать правую часть списка- Использование фильтраquickSort []     = []quickSort (Икс:хз) = quickSort (фильтр (<Икс) хз)                   ++ [Икс] ++                   quickSort (фильтр (>=Икс) хз)

Реализации

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

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

  • В Компилятор Glasgow Haskell (GHC) компилируется в собственный код на различных архитектурах процессоров, а также в ANSI C, через один из двух промежуточные языки: C--, или в более поздних версиях, LLVM (бывшая виртуальная машина низкого уровня) битовый код.[47][48] GHC стал де-факто стандартный диалект Haskell.[49] Есть библиотеки (например, привязки к OpenGL ), которые работают только с GHC. GHC также распространяется с Платформа Haskell.
  • Jhc, компилятор Haskell, написанный Джоном Мичемом, подчеркивает скорость и эффективность сгенерированных программ и исследует новые преобразования программ.
    • Ajhc - это форк Jhc.
  • Utrecht Haskell Compiler (UHC) - это реализация Haskell от Утрехтский университет.[50] Он поддерживает почти все функции Haskell 98 плюс множество экспериментальных расширений. Реализовано с использованием грамматики атрибутов и в настоящее время используется в основном для исследования систем генерируемых типов и языковых расширений.

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

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

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

  • Eta и Frege - диалекты Haskell, ориентированные на Виртуальная машина Java.
  • Гофер был образовательным диалектом Haskell с функцией, называемой классы конструкторов, разработанный Марком Джонсом. Его вытеснила Hugs (система Gofer пользователя Haskell).
  • Гелий, новый диалект Хаскелла. Основное внимание уделяется упрощению обучения за счет более четких сообщений об ошибках. В настоящее время ему не хватает полной поддержки классов типов, что делает его несовместимым со многими программами Haskell.

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

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

  • Bluespec SystemVerilog (BSV) - это язык для проектирования полупроводников, который является расширением Haskell. Кроме того, инструменты Bluespec, Inc. реализованы на Haskell.
  • Криптол, язык и набор инструментов для разработки и проверки криптография алгоритмов, реализована на Haskell.
  • Facebook реализует свои антиспамовые программы[55] в Haskell, поддерживая базовую библиотеку доступа к данным как программное обеспечение с открытым исходным кодом.[56]
  • GitHub реализовано Семантический, библиотека с открытым исходным кодом для анализа, сравнения и интерпретации ненадежного исходного кода на Haskell.[57]
  • seL4, первый официально подтверждено микроядро,[58] использовал Haskell в качестве языка прототипирования для разработчика ОС.[58]:стр.2 В то же время код Haskell определил исполняемую спецификацию, с помощью которой можно было бы рассуждать для автоматического перевода с помощью инструмента доказательства теорем.[58]:стр.3 Таким образом, код Haskell служил промежуточным прототипом перед окончательным C уточнение.[58]:стр.3

Интернет

Примечательный веб-фреймворки написанные для Haskell, включают:[59]

Критика

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

Бастиан Херен, Даан Лейен и Арьян ван Эйзендорн в 2003 году также заметили некоторые препятствия для изучающих Haskell: «Тонкий синтаксис и сложная система типов Haskell - палка о двух концах, которую высоко ценят опытные программисты, но также и источник разочарования среди новичков. , поскольку универсальность Haskell часто приводит к появлению загадочных сообщений об ошибках ".[63] Чтобы решить эту проблему, исследователи из Утрехтского университета разработали продвинутый интерпретатор под названием Гелий, что повысило удобство использования сообщений об ошибках за счет ограничения универсальности некоторых функций Haskell и, в частности, удаления поддержки типовые классы.

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

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

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

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

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

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

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

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

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

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

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

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

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

Рекомендации

  1. ^ а б c Худак и др. 2007 г..
  2. ^ а б Марлоу, Саймон (24 ноября 2009 г.). «Анонс Haskell 2010». Haskell (Список рассылки). Получено 12 марта 2011.
  3. ^ а б Ридель, Герберт (28 апреля 2016 г.). «ИНН: сформирован комитет по Haskell Prime 2020». Haskell-Prime (Список рассылки). Получено 6 мая 2017.
  4. ^ а б c d е ж г час я j k л м Пейтон Джонс 2003, п. xi
  5. ^ Норелл, Ульф (2008). "Зависимо типизированное программирование в Agda" (PDF). Гётеборг: университет Чалмерса. Получено 9 февраля 2012.
  6. ^ Худак и др. 2007 г. С. 12–38, 43.
  7. ^ Страуструп, Бьярне; Саттон, Эндрю (2011). «Дизайн концептуальных библиотек для C ++» (PDF). Архивировано из оригинал (PDF) 10 февраля 2012 г. Цитировать журнал требует | журнал = (помощь)
  8. ^ а б c d е ж г час я j Худак и др. 2007 г. С. 12-45–46.
  9. ^ а б Мейер, Эрик (2006). «Признания продавца используемых языков программирования: привлечение масс к Haskell». Упсла 2007. CiteSeerX  10.1.1.72.868.
  10. ^ Мейер, Эрик (1 октября 2009 г.). «Лекции C9: Доктор Эрик Мейер - Основы функционального программирования, Глава 1 из 13». Канал 9. Microsoft. Получено 9 февраля 2012.
  11. ^ Дроби, Садек (4 марта 2009 г.). "Эрик Мейер в LINQ". InfoQ. QCon SF 2008: C4Media Inc. Получено 9 февраля 2012.CS1 maint: location (связь)
  12. ^ Хикки, Рич. "Книжная полка Clojure". Listmania!. Архивировано из оригинал 3 октября 2017 г.. Получено 3 октября 2017.
  13. ^ Хеллер, Мартин (18 октября 2011 г.). «Поднимите нос на Дарта и понюхайте CoffeeScript». InfoWorld. Получено 2020-07-15.
  14. ^ «Декларативное программирование по Эшеру» (PDF). Получено 7 октября 2015.
  15. ^ Сайм, Дон; Гранич, Адам; Чистернино, Антонио (2007). Эксперт F #. Apress. п. 2. F # также опирается на Haskell, особенно в отношении двух расширенных языковых функций, называемых выражения последовательности и рабочие процессы.
  16. ^ Вексунг, Инго. "Язык программирования Фреге" (PDF). Получено 26 февраля 2014.
  17. ^ «Facebook представляет« Hack », язык программирования будущего». ПРОВОДНОЙ. 20 марта 2014 г.
  18. ^ «Идрис, язык с зависимой типизацией». Получено 26 октября 2014.
  19. ^ «Вдохновение LiveScript». Получено 4 февраля 2014.
  20. ^ Фриман, Фил (2016). «PureScript на примере». Leanpub. Получено 23 апреля 2017.
  21. ^ Кучлинг, А.М. "HOWTO по функциональному программированию". Документация Python v2.7.2. Фонд программного обеспечения Python. Получено 9 февраля 2012.
  22. ^ «Глоссарий терминов и жаргона». Фонд Perl Perl 6 вики. Фонд Perl. Архивировано из оригинал 21 января 2012 г.. Получено 9 февраля 2012.
  23. ^ "Ссылка на Rust: Приложение: Влияния". Получено 3 февраля 2016.
  24. ^ Фогус, Майкл (6 августа 2010 г.). "МартинОдерский возьми (5) в список". Отправить больше медработников. Получено 9 февраля 2012.
  25. ^ Латтнер, Крис (3 июня 2014 г.). "Домашняя страница Криса Латтнера". Крис Латтнер. Получено 3 июн 2014. Язык Swift является продуктом неустанных усилий команды языковых экспертов, гуру документации, ниндзя по оптимизации компиляторов и невероятно важной внутренней группы, которая предоставила отзывы, чтобы помочь усовершенствовать и протестировать идеи. Конечно, он также очень выиграл от опыта, с трудом завоеванного многими другими языками в этой области, черпая идеи из Objective-C, Rust, Haskell, Ruby, Python, C #, CLU и слишком многих других, чтобы перечислить.
  26. ^ "Древесина / История". Получено 7 октября 2015.
  27. ^ Шевалье, Тим (28 января 2008 г.). "кто-нибудь может сказать мне произношение" haskell "?". Хаскелл-кафе (Список рассылки). Получено 12 марта 2011.
  28. ^ Вывод типа первоначально с использованием Вывод типа Хиндли-Милнера
  29. ^ а б c Пейтон Джонс 2003.
  30. ^ Эдвард Кметт, Эдвард Кметт - Классы типов против мира
  31. ^ «Haskell в образовании». Получено 15 февраля 2016.
  32. ^ «Haskell в исследованиях». Получено 15 февраля 2016.
  33. ^ Моссберг, Эрик (8 июня 2020 г.), erkmos / haskell-companies, получено 22 июн 2020
  34. ^ «Haskell в индустрии - HaskellWiki». wiki.haskell.org. Получено 22 июн 2020.
  35. ^ "Индекс популярности языка программирования PYPL". pypl.github.io. 6 сентября 2019. Архивировано с оригинал 4 сентября 2019 г.. Получено 6 сентября 2019.
  36. ^ Фредериксон, Бен. «Рейтинг языков программирования пользователями GitHub». www.benfrederickson.com. Получено 6 сентября 2019.
  37. ^ а б c Пейтон Джонс 2003, Предисловие.
  38. ^ «Классы типов, впервые предложенные при разработке языка программирования Haskell, ...» -Джон Гаррет Моррис (2013), «Классы типов и цепочки экземпляров: реляционный подход»
  39. ^ Вадлер, Филипп (октябрь 1988 г.). "Как сделать специальный полиморфизм менее случайным".
  40. ^ «Haskell Wiki: реализации». Получено 18 декабря 2012.
  41. ^ "Добро пожаловать в Haskell'". Вики-сайт Haskell.
  42. ^ Wadler, P .; Блотт, С. (1989). «Как сделать специальный полиморфизм менее случайным». Материалы 16-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования. ACM: 60–76. Дои:10.1145/75277.75283. ISBN  978-0-89791-294-5.
  43. ^ Халлгрен, Т. (январь 2001 г.). «Развлечение с функциональными зависимостями или типами как значениями в статических вычислениях в Haskell». Труды совместной зимней встречи CS / CE. Варберг, Швеция.
  44. ^ Компьютерная языковая тестовая игра
  45. ^ "Статистика HackageDB". Hackage.haskell.org. Архивировано из оригинал 3 мая 2013 г.. Получено 26 июн 2013.
  46. ^ «Реализации» в Haskell Wiki
  47. ^ "Бэкэнд LLVM". GHC Trac.
  48. ^ Terei, David A .; Чакраварти, Мануэль М. Т. (2010). "Бэкэнд LLVM для GHC". Материалы симпозиума ACM SIGPLAN Haskell 2010. ACM Press.
  49. ^ К. Райдер и С. Томпсон (2005). «Перенос HaRe на GHC API»
  50. ^ Утрехтский компилятор Haskell
  51. ^ Худак и др. 2007 г. С. 12–22.
  52. ^ "Кабала Хаскелла". Получено 8 апреля 2015.
  53. ^ "Команда разработчиков Linspire / Freespire Core OS и Haskell". Список рассылки Debian Haskell. Май 2006 г.
  54. ^ xmonad.org
  55. ^ «Борьба со спамом с помощью Haskell». Код Facebook. 26 июня 2015 г.. Получено 11 августа 2019.
  56. ^ "Открытый исходный код Haxl, библиотеки для Haskell". Код Facebook. 10 июня 2014 г.. Получено 11 августа 2019.
  57. ^ Разбор, анализ и сравнение исходного кода на многих языках: github / semantic, GitHub, 7 июня 2019 г., получено 7 июн 2019
  58. ^ а б c d Формальное доказательство функциональной корректности было завершено в 2009 году.Кляйн, Гервин; Эльфинстон, Кевин; Хайзер, Гернот; Андроник, июнь; Петух, Дэвид; Деррин, Филип; Элькадуве, Дхаммика; Энгельгардт, Кай; Колански, Рафаль; Норриш, Майкл; Сьюэлл, Томас; Туч, Харви; Уинвуд, Саймон (октябрь 2009 г.). "seL4: Формальная проверка ядра ОС" (PDF). 22-й симпозиум ACM по принципам операционных систем. Big Sky, MT, США.
  59. ^ «Веб / Фреймворки - HaskellWiki». wiki.haskell.org. Получено 11 августа 2019.
  60. ^ Ян-Виллем Мессен. Стремительный Haskell: выполнение с ограниченными ресурсами обеспечивает эффективную итерацию. Труды 2002 г. Ассоциация вычислительной техники (ACM) Семинар SIGPLAN по Haskell.
  61. ^ Саймон Пейтон Джонс. Рубашка для волос: ретроспектива на Haskell. Приглашенный доклад на POPL 2003.
  62. ^ «Ленивая оценка может привести к отличной производительности, как, например, в игре The Computer Language Benchmarks Game».
  63. ^ Херен, Бастиан; Лейен, Даан; ван Эйзендорн, Арьян (2003). «Гелий для изучения Haskell» (PDF). Материалы семинара ACM SIGPLAN 2003 года по Haskell.
  64. ^ «DDC - HaskellWiki». Haskell.org. 3 декабря 2010 г.. Получено 26 июн 2013.
  65. ^ Бен Липпмайер, Вывод типов и оптимизация для нечистого мира, Австралийский национальный университет (2010) Кандидатская диссертация, глава 1
  66. ^ Роберт Харпер. «Дело лени». закрытый доступ
  67. ^ Роберт Харпер. "Модули важнее всего". закрытый доступ
  68. ^ "Решение ада Кабала". www.yesodweb.com. Получено 11 августа 2019.
  69. ^ "Объявление о новой сборке Кабала: локальные сборки в стиле Nix". Получено 1 октября 2019.
  70. ^ «Хакатон - HaskellWiki».

дальнейшее чтение

Отчеты
Учебники
Учебники
История

внешняя ссылка