Glasgow Haskell Compiler

V současné době podporuje celý Haskell 98 jazyka a širokou škálu rozšíření jazykových

Vlastnosti :.

• GHC má zejména dobrá podpora pro souběžnost a paralelismus, včetně podpory pro Software transakční paměti (STM).
• GHC generuje rychlý kód, a to zejména pro souběžné programy. Podívejte se na vystoupení GHC se o programovací jazyk srovnávací základy hry, a několik připomínek k Haskell současnými organizátor přestřelce, Brent Fulgham.
• GHC pracuje na několika platformách, včetně Windows a většina odrůd Unix, a několik různých architektur procesorů. K dispozici jsou podrobné pokyny pro portování GHC na novou platformu.
• GHC má rozsáhlé optimalizační funkce, včetně optimalizace inter-modul.
• GHC kompiluje Haskell kódu a to buď s použitím meziproduktu C kompilátor (GCC), nebo tím, že tvoří nativní kód na některých platformách. Interaktivní prostředí sestavuje Haskell do bytecode, a podporuje výkon smíšený bytecode / kompilované programy.
• Profilování je podporována, a to jak podle času / alokace a různé druhy haldy profilování.
• GHC přichází s širokou škálou knihoven.

Co je nového v této verzi:

• Ve výchozím nastavení, GHC má nový upozornění zapnuto, -fwarn -typed otvory, které způsobí, že kompilátor reagovat s typy nevázaných proměnných narazí ve zdrojovém kódu.
• Nyní je možné vyhlásit "uzavřená" typ rodinu, když pomocí rozšíření TypeFamilies.
• GHC nyní podporuje přetížení seznam literály pomocí nového OverloadedLists rozšíření.
• GHC nyní podporuje vzor synonyma, umožněno rozšířením -XPatternSynonyms.

Co je nového ve verzi 7.6.2:

• dlouhodobě typechecker chybu, která umožnila, aby unsafeCoerce být napsán byla opravena.
• chyba byla opravena, která způsobila GHC se někdy neuvědomí, že rekompilace byla nutná.
• Pokud jsou oba -H a -M & # x3c, velikost & # x3e; flag jsou uvedeny, pak GHC nebude vyšší než maximální velikost haldy.
• off-by-one chyba, která by mohla vést k segfault chyb v RTS vlajky analýze byla opravena.
• Různé chyby, které by mohly způsobit GHC k panice při sestavování některých zdrojové soubory byly opraveny.
• Některé chyby v typu ověřují DataKinds a PolyKinds rozšíření byly opraveny.
• Výkon kompilované programy byl vylepšen v některých případech.

Co je nového ve verzi 7.6.1:

• polymorfní druhy a propagace údaje jsou nyní plně implementovány a Podporované funkce:. Sekce 7.8, & quot; Kind polymorfismus & quot;
• Windows 64bit je nyní podporovaná platforma.
• Nyní je možné odložit chyby typu až do běhu pomocí -fdefer-typ-chyby vlajku:. Oddíl 7.13, & quot; odkládalo chyby typu runtime & quot;
• RTS nyní podporuje změnou počtu kapacit v běhu s Control.Concurrent.setNumCapabilities:. § 4.15.2, & quot; možnosti RTS pro SMP paralelismus & quot;

Co je nového ve verzi 7.4.2:.

• hp2ps nyní zpracovat zpětná lomítka v identifikátorů správně
• Opravena chyba ve výchozím realizaci popCount v Data.Bits.
• potenciál race condition v Control.Concurrent.Chan byl opraven.
• MVAr chyba, která by mohla způsobit zablokování byl opraven.
• Při použití -fwarn-nebezpečné, GHC nyní hlásí nebezpečné rozšíření jazyka.
• bez závitu RTS nyní vyhýbá wakeups, když systém je v klidovém stavu.
• chyba způsobující pád s velmi malou počáteční velikosti stacku byla opravena.

Co je nového ve verzi 7.4.1:

• K dispozici je nová funkce Safe Haskell (-XSafe , -XTrustworthy, -XUnsafe): Oddíl 7.23, & quot; Safe Haskell & quot ;. Design se od té doby změnil 7,2.
• K dispozici je nová funkce druh polymorfismus (-XPolyKinds): oddíl 7.8.1, & quot; Kind polymorfismus & quot ;. Vedlejším účinkem je to, že, pokud není povoleno prodloužení, za určitých okolností druhy jsou nyní převezme * namísto toho odvodit.
• K dispozici je nová funkce omezovači druhy (-XConstraintKinds):. Sekce 7.10, & quot; Constraint typ & quot;
• Je možné dát nějaký druh prohlášení na řádku ghci:. § 2.4.4, & quot; druh, třída a další prohlášení & quot;
• profilování a HPC implementace byly sloučeny a přepracován. Viditelné změny patří přejmenování profilování vlajky a nákladů centrum komíny mají novou sémantiku, která by měla ve většině případů za následek více užitečných a intuitivní profilů. + RTS -xc vlajka nyní také dává trasování zásobníku.
• Nyní je možné zapsat kompilátoru pluginy:. Oddíl 9.3, & quot; Compiler Plugins & quot;
• Podpora DPH se výrazně zlepšila.
• V současné době existuje předběžná podpora registerised kompilaci na ARM platformě, pomocí LLVM.

Co je nového ve verzi 7.0.4:

• s plovoucí desetinnou čárkou regrese v 7.0.3 ovlivňují x86 byla opravena.
• GHCi Spojovací nyní zpracovává částečně svlékl objektové soubory. To řeší nakládání GHC balíček v GHCi když to bylo zbavené, což je častý případ v distribučních pro linuxové distribuce.
• chyba, která způsobila špatné výsledky z getCPUTime, getClockTime a getCurrentTime byla opravena.
• runtime systém bug s velkými hromadami byla opravena.
• runtime systém chyba, když je hromada profilování byl opraven.
• runtime systém chyba, když je hromada profilování byl opraven.
• runtime systém, chyba, která způsobila nesprávné výsledky a segfault chyb při použití FFI zpětná volání, byl opraven.
• runtime systém, chyba, která občas způsobil paralelní programy & # x3c; & # x3c, smyčka & # x3e; & # x3e; Při použití -feager-blackholing, byl opraven.
• nesprávná oprávnění adresáře při instalaci byly opraveny.
• Některé vylepšení byly provedeny nové podpoře Cabal TestSuite.
• Cabal je nyní 1.10.2.0 (bylo 1.10.1.0).

Co je nového ve verzi 7.0.2:

• Compiler:
• Stará [$ foo | ... |]. Syntax opět funguje, ale je považován za zastaralý
• došlo k výrazným improvments do nové typové dáma.
• GHCi:
• Loading .a knihovny je nyní možné na všech platformách. .o Knihovna bude i nadále používat přednostně pokud oba existují. GHCi nebude upozorňovat na chybějící .o knihovnách.
• Nyní zavřete .ghci soubory po jejich přečtení, který na počítačích se systémem Windows umožňuje, aby byly změněny, když GHCi běží.
• Nyní je možné na:. Odstavení proměnné ghci (args, prog, rychlé, editor a stop)
• Runtime systém:
• DTrace je nyní podporován Solaris, kromě OS X.
• Build systém:
• OS X vychází z 10,6 nyní pracují na obou 10.5 a 10.6.
• instalace systému Windows nyní obsahují libstdc ++ DLL.
• Haddock:
• GHC nyní přichází s tresky 2.9.0.
• GHC nyní obsahuje hoogle databáze pro knihovny.

Co je nového ve verzi 7.0.1:

• V POSIX platformách, je zde nová I / O manažer založený na epoll / kqueue / hlasování, což umožňuje multivláknového I / O kód měřítku mnohem větší počet (100k +) vláken.
• GHC nyní obsahuje generátor kódu LLVM. Pro určitý kód, a to zejména aritmetický těžké kódu pomocí kódu generátoru LLVM může přinést nějaké pěkné vylepšení výkonu.
• typ checker byl přepracován, což znamená, že je nyní schopen správně zpracovat interakce mezi rozšíření typu systému.
• Inliner byl přepracován, což by mělo obecně poskytují lepší výkon při současném snížení zbytečné výbuch kód velikosti.
• velké části runtime systému byly přepracována, zejména strojního zařízení vztahující se k blokování a probuzení nití a vyhazování výjimek (throwTo). Některé případy patologické výkonu byly opraveny, zejména tam, kde se jedná o velké množství nití.
• Vzhledem ke změnám v runtime systému, pokud používáte Control.Parallel.Strategies z paralelního balíčku, proveďte upgrade alespoň na verzi 2 (nejlépe ve verzi 3). Provádění strategií v paralelním 1.x ztratí souběžnost s GHC 7.0.1.