Glasgow Haskell Compiler

В настоящее время поддерживает всю Haskell 98 языка и широкий спектр языковых расширений

Особенности :.

• GHC имеет Особенно хорошая поддержка параллелизма и параллелизма, в том числе поддержку программного обеспечения транзакционной памяти (STM).
• GHC генерирует быстрый код, в частности, для параллельных программ. Взгляните на производительность GHC, на компьютерный язык Контрольные показатели игры, и некоторые комментарии по Haskell от текущего организатора перестрелки, Брент Fulgham.
• GHC работает на нескольких платформах, включая Windows, и большинство сортов Unix, и несколько различных процессорных архитектур. Есть подробная инструкция по портированию GHC на новую платформу.
• GHC имеет обширные возможности оптимизации, в том числе оптимизации межмодульной.
• GHC Haskell компилирует код либо с помощью промежуточного компилятор C (GCC), или путем создания собственного кода на некоторых платформах. Интерактивная среда компилирует байт-код Haskell, чтобы и поддерживает выполнение смешанной байт-кода / Сост программ.
• Профилирование поддерживается, как по времени / распределение и различные виды кучи профилирования.
• GHC поставляется с широким диапазоном библиотек.

Что нового В этом выпуске:

• По умолчанию, GHC имеет новое предупреждение включено, -fwarn -typed-отверстия, что вызывает компилятор, чтобы ответить с типами несвязанных переменных он сталкивается в исходном коде.
• Это сейчас можно объявить "Закрытый" тип семьи, когда с помощью расширения TypeFamilies.
• GHC теперь поддерживает перегрузку список литералов, используя новое расширение OverloadedLists.
• GHC теперь поддерживает шаблонов синонимы, включен расширением -XPatternSynonyms.

Что нового в версии 7.6.2:

• Давняя проверки типов ошибка, позволявшая unsafeCoerce в записать была исправлена.
• Исправлена ​​ошибка была исправлена, что вызвало GHC иногда не понимают, что перекомпиляция было необходимо.
• Если оба -H и -M & # x3c, размер и # x3e; Флаг заданы, то GHC больше не будет превышать максимальный размер кучи.
• Смещенная по одному ошибка, которая может привести к ошибки сегментации, в флага разбора РТС была исправлена.
• Различные ошибки, которые могут привести к панике GHC при компиляции определенные исходные файлы были установлены.
• Некоторые ошибки в типе Проверка DataKinds и PolyKinds расширения были зафиксированы.
• Выполнение скомпилированных программ была улучшена в некоторых случаях.

Что нового в версии 7.6.1:

• Полиморфные виды и продвижение данных в настоящее время полностью внедрена и Поддерживаемые функции:. Раздел 7.8, и Quot; Вид полиморфизм и Quot;
• Окна 64bit теперь поддерживает платформу.
• Теперь можно отложить ошибки типа до времени выполнения, используя флаг -fdefer-Type-ошибки:. раздел 7.13, & Quot; Отсрочка ошибки типа времени выполнения и Quot;
• РТС теперь поддерживает изменение количества возможностей во время выполнения с Control.Concurrent.setNumCapabilities:. раздел 4.15.2, и Quot; варианты РТС SMP параллелизма и Quot;

Что нового в версии 7.4.2:.

• hp2ps теперь могут обрабатывать обратную косую черту в идентификаторах правильно
• Исправлена ​​ошибка в реализации по умолчанию popCount в Data.Bits.
• Потенциальный состояние гонки в Control.Concurrent.Chan была исправлена.
• AN ошибка Мвар, который может привести к тупики была исправлена.
• При использовании -fwarn-небезопасно, GHC теперь сообщает расширения небезопасных языка.
• Без резьбы РТС теперь избегает пробуждений, когда система находится в режиме ожидания.
• Исправлена ​​ошибка приводит к аварии с очень малым начальным размером стека была исправлена.

Что нового в версии 7.4.1:

• Существует новая функция безопасного Хаскелл (-XSafe , -XTrustworthy, -XUnsafe): Раздел 7.23, & Quot; Сейф Haskell & Quot ;. Дизайн изменился с 7.2.
• Существует новая функция рода полиморфизм (-XPolyKinds): Раздел 7.8.1, и Quot; Вид полиморфизм и Quot ;. Побочным эффектом этого является то, что, когда расширение не включено, в определенных обстоятельствах виды теперь дефолт *, а не случайными.
• Существует новый виды особенностью ограничений (-XConstraintKinds):. Раздел 7.10, & Quot; ограничение вида и Quot;
• Это сейчас можно дать какой-либо декларации на GHCI строке:. раздел 2.4.4, & Quot; Тип, класс и другие заявления & Quot;
• профилирования и HPC реализации были объединены и пересмотрены. Видимые изменения включают в себя переименование профилирования флаги и стоимость-центр стеки есть новые семантики, которые должны в большинстве случаев приводят к более полезных и интуитивных профилей. -xc Флаг + РТС в настоящее время также дает трассировки стека.
• Это теперь можно написать компилятор плагины. Раздел 9.3, & Quot; компилятор плагинов и Quot;
• поддержка DPH была значительно улучшена.
• Существует в настоящее время предварительная поддержка registerised компиляции на платформе ARM, используя LLVM.

Что нового в версии 7.0.4:

• Точка регрессии плавающие в 7.0.3 затрагивая x86 была исправлена.
• The GHCi компоновщик обрабатывает частично снятой объектные файлы. Это исправляет загрузки GHC пакет в GHCI, когда он был лишен, что это часто бывает в упаковках Linux распределения.
• Исправлена ​​ошибка, которая вызвала плохие результаты из getCPUTime, getClockTime и GetCurrentTime была исправлена.
• система выполнения ошибка с большими кучами была исправлена.
• система выполнения ошибка, когда куча профилирование была исправлена.
• система выполнения ошибка, когда куча профилирование была исправлена.
• система выполнения ошибка, которая вызвала неправильные результаты и ошибки сегментации при использовании функции обратного вызова FFI, была исправлена.
• система выполнения ошибка, которая иногда причиной параллельные программы & # x3c; & # x3c; цикл и # x3e; & # x3e; при использовании -feager-черные дыры, была исправлена.
• разрешения Неправильные каталог при укладке были исправлены.
• Некоторые улучшения были сделаны в новой поддержки Кабал набором тестов.
• Кабала теперь 1.10.2.0 (был 1.10.1.0).

Что нового в версии 7.0.2:

• Компилятор:
• Старая [$ Foo | ... |] Синтаксис снова работает, но устарела
.
• Там были значительные improvments к новому типу проверки.
• GHCi:
• Загрузка .a библиотек теперь можно на всех платформах. .o Библиотека-прежнему будет использоваться по предпочтению, если оба существуют. GHCi больше не будет предупреждать о пропавших без вести .o библиотек.
• Теперь закройте .ghci файлы после их прочтения, что на машинах Windows, позволяет им быть изменены в то время как GHCi работает.
• Это стало возможным:. камни в GHCI переменные (аргументы, прога, подскажите, редактор и остановка)

Система
• Продолжительность:
• DTrace в настоящее время поддерживается на Solaris, в дополнение к OS X.
• систему Телосложение:
• OS X основана на 10,6 теперь работают как на 10,5 и 10,6.
• установки Windows, теперь включают libstdc ++ DLL.
• Пикша:
• GHC теперь поставляется с пикши 2.9.0.
• GHC в настоящее время включает hoogle базы данных для библиотек.

Что нового в версии 7.0.1:

• На POSIX платформах, есть новый я / Менеджер вывода на основе Epoll / Kqueue / опросе, который позволяет многопоточный код ввода / вывода в масштабе в гораздо большем количестве (100k +) нитей.
• GHC в настоящее время включает генератор кода LLVM. Для определенного кода, в частности арифметической тяжелой кода, используя генератор кода LLVM может принести некоторые интересные улучшения производительности.
• Тип проверки была пересмотрена, что означает, что теперь в состоянии корректно обрабатывать взаимодействия между системных расширений типа.
• The Inliner была пересмотрена, которые должны в целом дают более высокую производительность при одновременном снижении излишнего взрыв код размера.
• Большие части системы исполнения были пересмотрены, в частности, оборудование, связанные с блокировки и пробуждения нитей и исключений метания (throwTo). Несколько экземпляров патологического производительности были зафиксированы, особенно там, где используются большие числа нитей.
• В связи с изменениями в системе во время выполнения, если вы используете Control.Parallel.Strategies из параллельного пакета, пожалуйста, обновите по крайней мере, версии 2 (предпочтительно версии 3). Реализация стратегий в параллельном 1.x потеряет параллелизм с GHC 7.0.1.