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;
• Windows 64bit тепер підтримує платформу.
• Тепер можна відкласти типові помилки до моменту виконання за допомогою прапора -fdefer-Type-помилки :. Розділ 7.13, & Quot; Відстрочка типові помилки часу виконання та Quot;
• RTS тепер підтримує зміну кількості можливостей під час виконання з Control.Concurrent.setNumCapabilities :. Розділ 4.15.2, і Quot; варіанти РТС SMP паралелізму і Quot;

Що нового у версії 7.4.2 :.

• hp2ps тепер можуть обробляти зворотну косу риску в ідентифікаторах правильно
• Виправлена ​​помилка в реалізації за замовчуванням popCount в Data.Bits.
• потенціал умова гонки в Control.Concurrent.Chan була виправлена.
• помилка MVar, які могли б призвести до тупики була виправлена.
• При використанні -fwarn-небезпечно, GHC тепер повідомляє розширення небезпечних мови.
• Без різьблення РТС тепер уникає пробудженні, коли система знаходиться в режимі очікування.
• помилка призводить до аварії з дуже малим початковим розміром стека була виправлена.

Що нового у версії 7.4.1:

• Існує нова функція безпечного Haskell (-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 Прапор + RTS тепер також дає трасування стека.
• Це зараз можна написати компілятор плагінів :. Розділ 9.3, & Quot; Compiler Плагіни та Quot;
• Підтримка DPH була значно поліпшена.
• Існує в даний час попередня підтримка registerised компіляції на ARM платформі, використовуючи LLVM.

Що нового у версії 7.0.4:

• точка регресії, плаваючі в 7.0.3 впливає x86 була виправлена.
• GHCi компоновщик обробляє частково знятої об'єктні файли. Це усуває завантаження GHC пакет в GHCI, коли він був позбавлений, який часто буває в пакетах Linux розподілу.
• помилка, яка викликала погані результати з getCPUTime, getClockTime і GetCurrentTime була виправлена.
• система виконання помилка з великими купами була виправлена.
• система виконання помилка, коли купа профілювання була виправлена.
• система виконання помилка, коли купа профілювання була виправлена.
• система виконання помилка, яка викликала неправильні результати і сегментації при використанні FFI зворотні виклики, була виправлена.
• система виконання помилка, яка іноді причиною паралельних програм для & # x3c; & # x3c; петля і # x3e; & # x3e; При використанні -feager-чорні діри, була виправлена.
• дозволу Неправильні каталогів при укладанні були виправлені.
• Деякі поліпшення були внесені в нову підтримку Кабал набором тестів.
• Cabal тепер 1.10.2.0 (був 1.10.1.0).

Що нового у версії 7.0.2:

• Compiler:
• старий [$ Foo | ... |]. Синтаксис знову працює, але застаріла
• Там були значні improvments до нового типу перевірки.
• GHCi:
• Завантаження .a бібліотек тепер це можливо на всіх платформах. .o Бібліотека раніше буде використовуватися за перевагою, якщо обидва існують. GHCi більше не буде попереджати про зниклих без вести .o бібліотек.
• Ми зараз закрити .ghci файли після їх прочитання, що на машинах Windows, дозволяє їм бути змінені в той час як GHCi працює.
• Це стало можливим :. Поверніть у вихідне положення GHCi змінні (аргументи, прога, підкажіть, редактор і зупинка)

Система
• Runtime:
• 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 платформах, є новий I / менеджер виведення на основі Epoll / kqueue / опитуванні, яке дозволяє многопоточного коду I / O в масштабі в набагато більшій кількості (100k +) ниток.
• GHC тепер включає в себе генератор коду LLVM. Для певного коду, зокрема арифметичної важкої коду, використовуючи генератор коду LLVM може принести деякі цікаві поліпшення продуктивності.
• тип перевірки була переглянута, що означає, що тепер може коректно обробляти взаємодії між системних розширень типу.
• Inliner була переглянута, які повинні в цілому дають більш високу продуктивність при одночасному зниженні зайвої вибух код розміру.
• Великі частини системи виконання були переглянуті, зокрема, обладнання, пов'язані з блокуванням і виходу із сплячого режиму потоків і виключення метання (throwTo). Кілька примірників патологічного продуктивності були виправлені, особливо там, де використовуються великі числа ниток.
• У зв'язку зі змінами в системі під час виконання, якщо ви використовуєте Control.Parallel.Strategies з паралельного пакету, будь ласка, поновіть як мінімум до версії 2 (переважно версії 3). Реалізація стратегій в паралельному 1.x втратить паралелізм з GHC 7.0.1.