Glasgow Haskell Compiler

Det stöder för närvarande hela Haskell 98 språk och ett brett utbud av förlängningar språk

Funktioner :.

• GHC har särskilt bra stöd för samtidighet och parallel, inklusive stöd för Software Transactional Memory (STM).
• GHC genererar snabb kod, särskilt för parallella program. Ta en titt på GHC prestanda på datorn Språk Benchmarks Game, och några kommentarer om Haskell av den aktuella arrangören av straffar, Brent Fulgham.
• GHC fungerar på flera plattformar, inklusive Windows och de flesta sorter av Unix, och flera olika processorarkitekturer. Det finns detaljerade anvisningar för portning GHC till en ny plattform.
• GHC har omfattande optimeringsmöjligheter, bland annat mellanmodul optimering.
• GHC kompilerar Haskell kod antingen genom att använda en mellanliggande C-kompilator (GCC), eller genom att generera native kod på vissa plattformar. Den interaktiva miljön samman Haskell till bytekod, och stöder utförandet av blandad bytekod / kompilerade program.
• Profilering stöds både av tid / fördelning och olika typer av upplag profilering.
• GHC kommer med ett brett utbud av biblioteken.

Vad är nytt i den här versionen:

• Som standard GHC har en ny varning aktiverat -fwarn -typed-hål, vilket gör att kompilatorn att svara med de typer av obundna variabler man möter i källkoden.
• Det är nu möjligt att deklarera en "sluten" typ familj när du använder TypeFamilies förlängning.
• GHC stöder nu överbelastning list literals använder nya OverloadedLists förlängning.
• GHC stöder nu mönster synonymer, aktiveras av -XPatternSynonyms förlängningen.

Vad är nytt i version 7.6.2:

• En långvarig typechecker bugg som tillät unsafeCoerce till skrivas har fastställts.
• En bugg har rättats som orsakade GHC att ibland inte inser att omkompilering var nödvändigt.
• Om både -H och en -M & # x3c; storlek & # X3e; flagga ges, då GHC kommer inte längre överskrider den maximala stackstorleken.
• En off-för-ett misstag, vilket kan orsaka segmenteringsfel i RTS flaggan pars rättats.
• Olika buggar som kan orsaka GHC till panik vid sammanställningen vissa källfiler har fastställts.
• En del buggar i typ kontroll av DataKinds och PolyKinds förlängningar har fastställts.
• Prestanda av kompilerade program har förbättrats i vissa fall.

Vad är nytt i version 7.6.1:

• Polymorfa typer och data marknadsföring är nu helt genomfört och funktioner som stöds:. avsnitt 7.8, & quot; Kind polymorfism & quot;
• Windows 64bit är nu en plattform som stöds.
• Det är nu möjligt att skjuta upp typfel tills runtime använder -fdefer-typ-fel flagga. Avsnitt 7.13, & quot; Uppskjutande typ fel att runtime & quot;
• RTS stöder nu ändra antalet kapacitet vid körning med Control.Concurrent.setNumCapabilities:. Avsnitt 4.15.2, & quot; RTS alternativ för SMP parallel & quot;

Vad är nytt i version 7.4.2:.

• hp2ps kan nu hantera omvända snedstreck i identifierare korrekt
• Fixat bugg i standard genomföra popCount i Data.Bits.
• En potentiell konkurrenstillstånd i Control.Concurrent.Chan rättats.
• En MVar bugg som kan orsaka låsningar har fastställts.
• När du använder -fwarn-osäkra, GHC rapporterar nu osäkra anknytningar språk.
• De icke-gängade RTS undviker nu wakeups när systemet är i viloläge.
• En bugg som orsakar en krasch med en mycket liten initial stack storlek har fastställts.

Vad är nytt i version 7.4.1:

• Det finns en ny funktion Safe Haskell (-XSafe , -XTrustworthy, -XUnsafe): Avsnitt 7.23, & quot; Säker Haskell & quot ;. Designen har förändrats sedan 7.2.
• Det finns en ny funktion snäll polymorfism (-XPolyKinds): Avsnitt 7.8.1, & quot; Kind polymorfism & quot ;. En bieffekt av detta är att när förlängningen inte är aktiverad, under vissa omständigheter slag nu som standard * i stället för att sluta.
• Det finns en ny funktion constraint slag (-XConstraintKinds):. Avsnitt 7.10, & quot; Den Constraint slag & quot;
• Det är nu möjligt att ge någon sorts förklaring på ghci prompten:. Avsnitt 2.4.4, & quot; typ, klass och andra deklarationer & quot;
• Den profilering och HPC implementeringar har slagits samman och renoverad. Synliga förändringar innefattar döpa om profilering flaggor och kostnadscenter stackar har en ny semantik, vilket i de flesta fall leder till mer användbara och intuitiva profiler. Den + RTS -xc flaggan nu också ger en stackspårning.
• Det är nu möjligt att skriva kompilator plugins:. Avsnitt 9.3, & quot; Compiler Plugins & quot;
• DPH stöd har förbättrats avsevärt.
• Det finns nu preliminärt stöd för registerised sammanställning på ARM-plattformen, med hjälp LLVM.

Vad är nytt i version 7.0.4:

• Ett flyttal regression i 7.0.3 påverkar x86 har fastställts.
• GHCi länk hanterar nu delvis avskalade objektfiler. Detta fixar laddar ghc paketet i ghci när det har varit avskalade, vilket ofta är fallet i Linux distributionspaket.
• En bugg som orsakade dåliga resultat från getCPUTime, getClockTime och getCurrentTime har fastställts.
• En runtime-system bugg med stora högar har fastställts.
• En runtime-system bugg när högen profilering har fastställts.
• En runtime-system bugg när högen profilering har fastställts.
• En runtime-system bugg, som orsakade felaktiga resultat och segmenteringsfel vid användning FFI återbesök, har fastställts.
• En runtime-system bugg, som ibland orsakat parallella program till & # x3c; & # x3c; loop & # X3e; & # X3e; vid användning -feager-blackholing har rättats.
• Felaktiga katalogbehörighet vid installation har fastställts.
• En del förbättringar har gjorts till den nya Cabal testsuite support.
• Cabal är nu 1.10.2.0 (var 1.10.1.0).

Vad är nytt i version 7.0.2:

• Producent:
• Den gamla [$ foo | ... |]. Syntax fungerar igen, men är föråldrat
• Det har skett betydande improvments till den nya typen checker.
• GHCi:
• Läser .a bibliotek är nu möjligt på alla plattformar. En .o biblioteket kommer fortfarande att användas av företräde om båda existerar. GHCi kommer inte längre att varna om saknade .o biblioteken.
• Vi stänger nu .ghci filer efter att ha läst dem, vilket på Windows-maskiner gör att de kan förändras medan GHCi körs.
• Det är nu möjligt att:. Urkopplat de ghci variablerna (args, prog, snabb, redaktör och stopp)
• Runtime systemet:
• DTrace stöds nu på Solaris, förutom OS X.
• Bygga systemet:
• OS X bygger på 10.6 nu arbeta både 10.5 och 10.6.
• Windows-installationer omfattar nu libstdc ++ DLL.
• Kolja:
• GHC kommer nu med kolja 2.9.0.
• GHC innehåller nu hoogle databaser för biblioteken.

Vad är nytt i version 7.0.1:

• På POSIX plattformar, finns det en ny I / O Manager baserad på epoll / kqueue / enkät, vilket möjliggör flertrådade I / O-kod för att skala till ett mycket större antal (100k +) av trådar.
• GHC innehåller nu en LLVM kodgenerator. För viss kod, särskilt aritmetisk tung kod enligt LLVM kodgenerator kan ge några trevliga prestandaförbättringar.
• Typen pjäs har omarbetats, vilket innebär att det nu kan korrekt hantera interaktioner mellan typ systemtillägg de.
• inliner har omarbetats, vilket bör generellt ge bättre prestanda och samtidigt minska onödig kod-size explosion.
• Stora delar av runtime-systemet har setts över, i synnerhet de maskiner relaterade till blockering och wakeup trådar och undantagskastning (throwTo). Flera fall av patologisk prestanda har fastställts, särskilt där ett stort antal trådar är inblandade.
• På grund av förändringar i runtime-systemet, om du använder Control.Parallel.Strategies från parallell paketet, vänligen uppgradera till minst version 2 (helst version 3). Genomförandet av strategier i parallell 1.x förlorar parallellism med GHC 7.0.1.