Компилятор Glasgow Haskell
-
Обзор компилятора GHC
- GHC — компилятор для языка программирования Haskell, разработанный Саймоном Пейтоном Джонсом и Марлоу Саттоном.
- Первый бета-релиз состоялся в 1991 году, с последующими обновлениями, включая анализатор строгости и языковые расширения.
- GHC написан на Haskell, но система выполнения для Haskell написана на C и C++.
- Компилятор включает в себя интерфейс с лексером, синтаксическим анализатором и средством проверки типов.
-
Архитектура и язык
- GHC преобразует код Haskell в промежуточный язык Core, а затем в C— или машинный код.
- GHC соответствует стандартам Haskell 98 и Haskell 2010, а также поддерживает множество расширений.
-
Расширения Haskell
- Расширения предоставляют функции, не описанные в стандарте, или переопределяют существующие конструкции.
- Некоторые расширения могут поддерживаться не всеми реализациями Haskell, и ведется работа по их описанию и отбору.
-
Система типов и классы типов
- GHC поддерживает расширенную систему типов, включая полиморфизм произвольного ранга, непредикативный полиморфизм и обобщенные алгебраические типы данных.
- Система типов GHC позволяет создавать типы данных, которые содержат информацию о конструкторах, и экзистенциальные типы, которые связывают данные с операциями над ними.
-
Мобильность и рекомендации
- GHC доступен для различных систем и процессорных архитектур, включая Windows и Unix.
- Ссылки на официальный веб-сайт и другие ресурсы доступны в статье.
Полный текст статьи: