Компилятор 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. 
  • Ссылки на официальный веб-сайт и другие ресурсы доступны в статье.