Glasgow Haskell Compiler

Glasgow Haskell Compiler

Тип	Компилятор
Разработчик	Университет Глазго
Операционная система	Кроссплатформенное программное обеспечение
Последняя версия	7.6.3 (21 апреля 2013)
Лицензия	BSD
Сайт	www.haskell.org/ghc

Glasgow Haskell Compiler (англ. Компилятор языка Haskell из Глазго) — один из самых мощных и развитых на сегодняшний день компиляторов функционального языка программирования Haskell, который разрабатывается свободной рабочей группой из многочисленных разработчиков, собранных по всему миру и координируемых из лаборатории университета Глазго.

Возможности

GHC является компилятором языка Haskell, основанным на идеологии открытого исходного кода. Возможности и особенности:

• Кроме собственно компилятора имеется интерпретирующая интерактивная среда (GHCi).
• Полная поддержка стандарта языка Haskell-2010, дополнительно поддерживается широкий список расширений.
• Автоматическое распараллеливание выполнения программы (без явного использования нитей) в системах с многоядерными процессорами. Поскольку отсутствие побочных эффектов в чистых функциях гарантировано, в любом вызове функции всегда допустимо параллельное вычисление двух различных параметров — порядок их вычисления не может оказать влияния на результат вызова.
• Работа на разнообразных платформах (включая Windows, многие варианты Unix).
• Большие возможности по оптимизации программ, включая межмодульную оптимизацию.
• Три варианта компиляции: непосредственно в машинные коды целевой архитектуры, компиляция через промежуточный код на языке C или C--, компиляция в язык LLVM
• Поддерживаются различные варианты профилирования.

Расширения системы типов

• Экзистенциальный полиморфизм
• Полиморфизм высших порядков
• Импредикативный полиморфизм
• Обобщённые алгебраические типы данных
• Семейства типов (индексированные синонимы типов, индексированные типы данных)

Ссылки

• Официальный сайт GHC

Трансляторы языка Haskell