Glasgow Haskell Compiler

Den støtter foreløpig hele Haskell 98 språk og et bredt spekter av språk utvidelser

Egenskaper .

• GHC har spesielt god støtte for samtidighet og parallellitet, inkludert støtte for Software Transaksjons Memory (STM).
• GHC genererer raskt kode, spesielt for samtidige programmer. Ta en titt på GHC ytelse på datamaskinen Språk benchmarks spill, og noen kommentarer på Haskell av dagens arrangør av shootout, Brent Fulgham.
• GHC fungerer på flere plattformer, inkludert Windows og de fleste varianter av Unix, og flere forskjellige prosessorarkitekturer. Det er detaljerte instruksjoner for porting GHC til en ny plattform.
• GHC har omfattende optimaliseringsmuligheter, inkludert inter-modul optimalisering.
• GHC kompilerer Haskell kode enten ved hjelp av et mellomliggende C kompilator (GCC), eller ved å generere egen kode på noen plattformer. Den interaktive miljøet kompilerer Haskell til bytecode, og støtter gjennomføring av blandet bytecode / kompilerte programmer.
• Profilering støttes både av tid / tildeling og ulike typer haug profilering.
• GHC leveres med et bredt spekter av bibliotekene.

Hva er nytt i denne utgaven:

• Som standard GHC har en ny advarsel aktivert, -fwarn -typed-hull, noe som fører kompilatoren å svare med de typer ubundne variabler den støter i kildekoden.
• Det er nå mulig å erklære en "lukket" type familie når du bruker TypeFamilies forlengelse.
• GHC støtter nå overbelastning liste litteraler med den nye OverloadedLists forlengelse.
• GHC støtter nå mønster synonymer, aktivert av -XPatternSynonyms forlengelse.

Hva er nytt i versjon 7.6.2:

• En langvarig typechecker bug som tillot unsafeCoerce til skrives har blitt fikset.
• En bug har blitt fikset som forårsaket GHC til noen ganger ikke innse at recompilation var nødvendig.
• Hvis både -H og en -M & # X3c, størrelse & # x3e; får flagg, deretter GHC vil ikke lenger overskride den maksimale heap størrelse.
• En off-by-én feil, noe som kan føre til segfaults, i RTS flagg parsing har blitt fikset.
• Ulike bugs som kan føre til GHC å få panikk når kompilering visse kildefilene har blitt fikset.
• Noen bugs i typen Kontrollere DataKinds og PolyKinds utvidelser har blitt fikset.
• Utførelse av kompilerte programmer har blitt forbedret i noen tilfeller.

Hva er nytt i versjon 7.6.1:

• Polymorfe slag og data forfremmelse er nå fullt implementert og støttet funksjoner: Pkt. 7.8, & quot; Kind polymorfisme & quot;
• Windows 64bit er nå en støttet plattform.
• Det er nå mulig å utsette typen feil før runtime bruker -fdefer-typefeil flagg: Pkt. 7.13, & quot; Å utsette typen feil runtime & quot;
• RTS støtter nå endre antall evner under kjøring med Control.Concurrent.setNumCapabilities:. § 4.15.2, & quot; RTS alternativer for SMP parallellitet & quot;

Hva er nytt i versjon 7.4.2:.

• hp2ps kan nå håndtere backslashes i identifikatorer riktig
• Rettet feil i standard implementering av popCount i Data.Bits.
• En potensiell rase tilstand i Control.Concurrent.Chan har blitt fikset.
• En Mvar bug som kunne forårsake vranglås har blitt fikset.
• Når du bruker -fwarn-usikre, GHC nå rapporterer usikre språk utvidelser.
• De ikke-gjengede RTS unngår nå wakeups når systemet er inaktivt.
• En bug som forårsaker en krasj med en svært liten innledende stakkstørrelsen har blitt fikset.

Hva er nytt i versjon 7.4.1:

• Det er en ny funksjon Sikker Haskell (-XSafe , -XTrustworthy, -XUnsafe): Seksjon 7.23, & quot; Sikker Haskell & quot ;. Utformingen er endret siden 7.2.
• Det er en ny funksjon slags polymorfisme (-XPolyKinds): Avsnitt 7.8.1, & quot; Kind polymorfisme & quot ;. En bieffekt av dette er at, når utvidelsen ikke er aktivert, under visse omstendigheter slag er nå misligholdt til * heller enn å bli utledes.
• Det er en ny funksjon begrensningen slag (-XConstraintKinds):. § 7.10, & quot; The Constraint slag & quot;
• Det er nå mulig å gi noen form for erklæring på ghci teksten:. § 2.4.4, & quot; type, klasse og andre erklæringer & quot;
• Den profilering og HPC-implementeringer er slått sammen og overhalt. Synlige endringer inkluderer døpe av profilerings flagg og kostnadssenter stabler har en ny semantikk, som skal i de fleste tilfeller føre til mer nyttige og intuitive profiler. Den + RTS -xc flagg nå også gir en stabel spor.
• Det er nå mulig å skrive kompilatoren plugins: Pkt. 9.3, & quot; Compiler Tillegg & quot;
• DPH støtte har blitt betydelig forbedret.
• Det er nå foreløpig støtte for registerised samling på ARM-plattformen, ved hjelp LLVM.

Hva er nytt i versjon 7.0.4:

• En flytende punktet regresjon i 7.0.3 påvirker x86 har blitt fikset.
• GHCi linker håndterer nå delvis strippet objektfiler. Dette løser lasting GHC pakke i ghci når det er blitt strippet, noe som ofte er tilfelle i Linux distribusjon pakker.
• En bug som forårsaket dårlige resultater fra getCPUTime, getClockTime og getCurrentTime har blitt fikset.
• En kjøretidssystem bug med store masser har blitt fikset.
• En kjøretidssystem bug når haug profilering har blitt fikset.
• En kjøretidssystem bug når haug profilering har blitt fikset.
• En kjøretidssystem bug, som forårsaket feil resultater og segfaults ved bruk FFI tilbakeanrop, har blitt fikset.
• En kjøretidssystem bug, som til tider forårsaket parallelle programmer til & # X3c; & # X3c, sløyfe & # x3e; & # x3e; når du bruker -feager-blackholing, har blitt fikset.
• Feil mapperettigheter når du installerer har blitt fikset.
• Noen forbedringer har blitt gjort til den nye Cabal testsuite støtte.
• Cabal er nå 1.10.2.0 (var 1.10.1.0).

Hva er nytt i versjon 7.0.2:

• Compiler:
• Den gamle [$ foo | ... |]. Syntaks fungerer igjen, men er foreldet
• Det har vært betydelige improvments til den nye typen kontrolløren.
• GHCi:
• Laster .en bibliotekene er nå tilgjengelig på alle plattformer. En .o bibliotek vil fortsatt bli brukt av preferanse hvis begge finnes. GHCi vil ikke lenger varsle om mangler .o biblioteker.
• Vi har nå lukke .ghci filer etter å ha lest dem, som på Windows-maskiner gir dem mulighet til å endres mens GHCi kjører.
• Det er nå mulig å:. Unset de ghci variabler (args, prog, spør, redaktør og stopp)
• Runtime system:
• DTrace støttes nå på Solaris, i tillegg til OS X.
• Bygg system:
• bygger OS X på 10.6 nå fungere på både 10.5 og 10.6.
• Windows-installasjoner inkluderer nå den libstdc ++ DLL.
• Hyse:
• GHC kommer nå med hyse 2.9.0.
• GHC inkluderer nå Hoogle databaser for bibliotekene.

Hva er nytt i versjon 7.0.1:

• På POSIX plattformer, er det en ny I / O behandler basert på epoll / kqueue / meningsmåling, som lar flertrådet I / O-kode for å skalere til et mye større antall (100k +) av tråder.
• GHC inkluderer nå en LLVM code generator. For viss kode, spesielt aritmetikk tung kode, bruker LLVM kode generator kan bringe noen fine ytelsesforbedringer.
• Den type kontrolløren har blitt overhalt, som betyr at det er nå i stand til å gi korrekt behandling av interaksjoner mellom typen systemtillegg.
• inliner har blitt overhalt, som bør generelt gi bedre ytelse samtidig redusere unødvendig kode-størrelse eksplosjon.
• Store deler av runtime systemet har blitt overhalt, særlig maskiner knyttet til blokkering og reaktivering av tråder og unntak kasting (throwTo). Flere tilfeller av patologisk ytelse har blitt fikset, spesielt der et stort antall tråder er involvert.
• På grunn av endringer i runtime systemet, hvis du bruker Control.Parallel.Strategies fra parallell pakken, må du oppgradere til minst versjon 2 (helst versjon 3). Gjennomføring av strategier i parallell-1.x vil miste parallellitet med GHC 7.0.1.