Glasgow Haskell Compiler

в момента поддържа цялата Haskell 98 езика и голямо разнообразие от езикови разширения

<силни> Характеристики :.

• GHC има особено добра подкрепа за едновременност и паралелизъм, включително подкрепа за Software Transactional Memory (STM).
• GHC генерира бързо код, особено за програми едновременно. Обърнете внимание на изпълнението GHC върху Computer Language Критерии срещата и някои коментари на Haskell от сегашната организатора на дузпите, Brent Fulgham.
• GHC работи на няколко платформи, включително Windows и повечето разновидности на Unix, и няколко различни процесорни архитектури. Има подробни инструкции за пренасяне GHC на нова платформа.
• GHC има широки възможности за оптимизация, включително между модул оптимизация.
• GHC компилира Haskell код или чрез използване на междинен C компилатор (GCC), или чрез генериране на родния код на някои платформи. Интерактивната среда съставя Haskell да байткод, и подкрепя изпълнението на смесена байткод / ​​компилирани програми.
• Profiling се поддържа, както от време / разпределение и различни видове грамада профилиране.
• GHC идва с широк набор от библиотеки.

Какво ново в тази версия:

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

Какво ново във версия 7.6.2:

• A дългогодишния typechecker бъг, който позволи unsafeCoerce да да бъде написано е фиксиран.
• A бъг е фиксирана, която е предизвикала GHC понякога да не осъзнават, че прекомпилиране е необходимо.
• Ако -Н както и -M & # x3c; размер & # x3e; знаме, да получават, след GHC вече няма да надвишава максималния размер на куп.
• БЕЗ по една грешка, която може да доведе до segfaults, в флаг разбор RTS е фиксиран.
• Различни грешки, които биха могли да причинят GHC за паника при съставянето на определени изходни файлове са фиксирани.
• някои бъгове в проверка на тип DataKinds и PolyKinds разширения са фиксирани.
• Изпълнение на компилираните програми е подобрена в някои случаи.

Какво ново във версия 7.6.1:

• полиморфни видове и промоция на данни сега са изцяло изпълнени и поддържани функции:. раздел 7.8, и quot; Kind полиморфизъм & quot;
• Windows 64bit сега е подкрепена платформа.
• сега е възможно да се отложи типа грешки, докато по време на работа с помощта -fdefer на тип грешки знамето на:. Раздел 7.13, & quot; отлага типа грешки по време на работа, за да & quot;
• The RTS вече поддържа промяна на броя на способности по време на работа с Control.Concurrent.setNumCapabilities:. Раздел 4.15.2, & quot; RTS опции за SMP паралелизъм & quot;

Какво ново във версия 7.4.2:.

• hp2ps сега могат да се справят наклонени черти в идентификатори правилно
• Фиксирана бъг в изпълнението на неизпълнение на popCount в Data.Bits.
• Потенциален състояние състезание в Control.Concurrent.Chan е фиксиран.
• An MVAr бъг, който би могъл да причини безизходици е фиксиран.
• Когато използвате -fwarn-безопасна, GHC сега съобщава, необезопасени разширения език.
• На RTS без резба сега избягва wakeups когато системата е празен.
• Бъг причинява катастрофа с много малка първоначална големина стак е фиксиран.

Какво ново във версия 7.4.1:

• Има нова функция Safe Haskell (-XSafe , -XTrustworthy, -XUnsafe): Раздел 7.23, & quot; Safe Haskell & quot ;. Дизайнът е променило от 7.2.
• Има нова функция вид полиморфизъм (-XPolyKinds): раздел 7.8.1, & quot; Kind полиморфизъм & quot ;. Страничен ефект от това е, че, когато това разширение не е активиран, при определени обстоятелства видове са вече в неизпълнение на * вместо да бъдат изведени.
• Има нова функция ограничаващите видове (-XConstraintKinds):. Точка 7.10, & quot; ограничението вида & quot;
• сега е възможно да се даде някаква декларация при напомнянето за ghci:. Раздел 2.4.4, & quot; Type, клас и други декларации & quot;
• The профилиране и НРС реализации са обединени и преработени. Видимите промени включват преименуването на профилиране знамена и разходите център купища имат нова семантика, която трябва в повечето случаи да доведат до по-полезни и интуитивни профили. The + RTS -Xc флага сега също дава следа стак.
• сега е възможно да се напише компилатор плъгини:. Раздел 9.3, и quot; Compiler Plugins & quot;
• подкрепа DPH е значително подобрена.
• Сега има предварителна подкрепа за registerised компилация на платформата ARM, използвайки LLVM.

Какво ново във версия 7.0.4:

• A плаваща запетая регресия в 7.0.3, засягаща x86 е фиксиран.
• Свръзката GHCi сега дръжки частично лишени обектни файлове. Това определя зареждане на GHC пакет в ghci, когато той е бил лишен, което често се случва в пакети Linux дистрибуция.
• Бъг, което е причинило лоши резултати от getCPUTime, getClockTime и getCurrentTime е фиксиран.
• Бъг по време на работа на системата с големи купчини е фиксиран.
• бъг по време на работа на системата, когато куп профилиране е фиксиран.
• бъг по време на работа на системата, когато куп профилиране е фиксиран.
• Бъг по време на работа на системата, което е причинило неправилни резултати и segfaults при използване на FFI извика, е фиксиран.
• Бъг по време на работа на системата, която от време на време, причинено паралелни програми за & # x3c; & # x3c; контур & # x3e; & # x3e; при използване на -feager-blackholing, е определен.
• Неправилни правата на директориите, когато инсталирате са фиксирани.
• Някои подобрения бяха направени с новата testsuite подкрепата Cabal.
• Cabal сега е 1.10.2.0 (беше 1.10.1.0).

Какво ново във версия 7.0.2:

• Compiler:
• Старата [$ Foo | ... |]. Синтаксис работи отново, но е отхвърлена
• Има значителни improvments към нов тип за проверка.
• GHCi:
• Loading .a библиотеки вече е достъпен на всички платформи. 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 / O мениджър на базата на epoll / kqueue / анкета, която позволява многонишков I / O код, за да се разрасне до по-голям брой (100k +) на конци.
• GHC сега включва генератор на код LLVM. За някои код, особено аритметика тежка код, с помощта на генератора на код LLVM може да донесе някои хубави подобрения в производителността.
• Програмата за проверка на типа е основно ремонтирана, което означава, че сега е в състояние правилно да се справят взаимодействия между разширения тип система.
• The Inliner е основно ремонтирана, които по принцип трябва да се даде по-добра производителност, като същевременно намали ненужната код размер експлозия.
• Големи части от системата за време на работа са били преработени, по-специално на машините, свързани с блокиране и събуждане на конци и изключение хвърляне (throwTo). Няколко случаи на патологична изпълнение са определени, особено когато става въпрос за голям брой теми.
• Поради промени в системата за време на работа, ако използвате Control.Parallel.Strategies от паралелното пакет, моля преминете към най-малко версия 2 (за предпочитане версия 3). Прилагането на стратегии за паралелно-1.x ще загубят паралелизъм с GHC 7.0.1.