Glasgow Haskell Compiler

Det understøtter i øjeblikket hele Haskell 98 sprog og en bred vifte af sproglige extensions

Egenskaber :.

• GHC har særlig god støtte til concurrency og parallelitet, herunder støtte til Software Transactional Memory (STM).
• GHC genererer hurtig kode, især for samtidige programmer. Tag et kig på GHC præstation på computeren Sprog Benchmarks spil, og nogle kommentarer til Haskell af den nuværende arrangør af shootout, Brent Fulgham.
• GHC arbejder på flere platforme, herunder Windows og de fleste sorter af Unix, og flere forskellige processorarkitekturer. Der er detaljerede instruktioner til portering GHC til en ny platform.
• GHC har omfattende optimering kapaciteter, herunder inter-modul optimering.
• GHC kompilerer Haskell kode enten ved hjælp af en mellemliggende C compiler (GCC), eller ved at generere native kode på nogle platforme. Det interaktive miljø samler Haskell til bytecode, og støtter udførelsen af ​​blandet bytekode / udarbejdet programmer.
• Profilering understøttes, både ved gang / fordeling og forskellige former for heap profilering.
• GHC kommer med en bred vifte af biblioteker.

Hvad er nyt i denne udgivelse:

• Som standard GHC har en ny advarsel aktiveret, -fwarn -typed-huller, hvilket får compileren til at reagere med de typer af ubundne variabler den møder i kildekoden.
• Det er nu muligt at erklære en "lukket" typen familie, når du bruger TypeFamilies forlængelse.
• GHC understøtter nu overbelastning liste litteraler ved hjælp af nye OverloadedLists udvidelse.
• GHC understøtter nu mønster synonymer, aktiveres af -XPatternSynonyms udvidelse.

Hvad er nyt i version 7.6.2:

• Et langvarigt typechecker bug der tillod unsafeCoerce til skrives er blevet rettet.
• En fejl er blevet rettet, som forårsagede GHC til tider ikke indse, at genkompilering var nødvendig.
• Hvis både -H og en -M & # X3C, størrelse & # X3e; flag er givet, så GHC ikke længere overskride den maksimale bunke størrelse.
• En off-by-one fejl, som kan forårsage lagersegmenteringsfejl i RTS flag parsing er blevet rettet.
• Diverse fejl, der kan forårsage GHC at gå i panik, når beregne visse kildefiler er blevet rettet.
• nogle fejl i typen kontrol af DataKinds og PolyKinds udvidelser er blevet rettet.
• Ydelse af kompilerede programmer er blevet forbedret i nogle tilfælde.

Hvad er nyt i version 7.6.1:

• Polymorfe slags og data forfremmelse nu fuldt implementeret og understøttede funktioner:. § 7.8, & quot; Kind polymorfi & quot;
• Windows 64bit er nu en understøttet platform.
• Det er nu muligt at udskyde typen fejl, indtil runtime ved hjælp af -fdefer-type-fejl flag:. § 7.13, & quot; Udsættelse typen fejl runtime & quot;
• RTS understøtter nu at ændre antallet af kapaciteter på runtime med Control.Concurrent.setNumCapabilities:. Afsnit 4.15.2, & quot; RTS muligheder for SMP parallelitet & quot;

Hvad er nyt i version 7.4.2:.

• hp2ps kan nu håndtere omvendte skråstreger i identifikatorer korrekt
• Fixed bug i standard implementering af popCount i Data.Bits.
• En potentiel race condition i Control.Concurrent.Chan er blevet rettet.
• En Mvar bug, som kan forårsage blokeringer er blevet rettet.
• Når du bruger -fwarn-usikre, GHC nu rapporterer usikre sprog extensions.
• De ikke-threaded RTS undgår nu wakeups når systemet er inaktivt.
• En fejl forårsager et nedbrud med en meget lille indledende stak størrelse er blevet fastsat.

Hvad er nyt i version 7.4.1:

• Der er en ny funktion Safe Haskell (-XSafe , -XTrustworthy, -XUnsafe): Afsnit 7.23, & quot; Safe Haskell & quot ;. Designet har ændret sig siden 7.2.
• Der er en ny funktion slags polymorfisme (-XPolyKinds): Afsnit 7.8.1, & quot; Kind polymorfi & quot ;. En bivirkning af dette er, at når forlængelsen ikke er aktiveret under visse omstændigheder slags er nu standard er * snarere end at blive udledt.
• Der er en ny funktion constraint art (-XConstraintKinds):. Afsnit 7.10, & quot; Den Constraint slags & quot;
• Det er nu muligt at give nogen form for erklæring på ghci prompt:. Punkt 2.4.4, & quot; Type, klasse og andre erklæringer & quot;
• profilering og HPC implementeringer er blevet slået sammen og overhaling. Synlige ændringer omfatter omdøbning af profilering flag og cost-center stakke har en ny semantik, som i de fleste tilfælde resultere i mere brugbare og intuitive profiler. Den + RTS -XC flag nu også giver en stak spor.
• Det er nu muligt at skrive compiler plugins:. Punkt 9.3, & quot; Compiler Plugins & quot;
• DPH støtte er blevet væsentligt forbedret.
• Der er nu foreløbig støtte til registerised kompilering på ARM-platformen, ved hjælp LLVM.

Hvad er nyt i version 7.0.4:

• Et flydende komma regression i 7.0.3 påvirker x86 er blevet rettet.
• GHCi linker håndterer nu delvis strippet objekt filer. Dette løser du lægger GHC pakke i ghci når det er blevet frataget, som det ofte er tilfældet i Linux-distribution pakker.
• En fejl som forårsagede dårlige resultater fra getCPUTime, getClockTime og getCurrentTime er blevet rettet.
• en runtime-system bug med store dynger er blevet rettet.
• en runtime-system bug når dynge profilering er blevet rettet.
• en runtime-system bug når dynge profilering er blevet rettet.
• en runtime-system bug, som forårsagede forkerte resultater og lagersegmenteringsfejl ved brug FFI tilbagekald, er blevet rettet.
• en runtime-system bug, som lejlighedsvis forårsaget parallelle programmer til & # X3C; & # X3C; loop & # X3e; & # X3e; ved brug af -feager-blackholing, er blevet rettet.
• Forkerte tilladelser bibliotek ved installation er blevet rettet.
• Nogle forbedringer er foretaget til den nye Cabal testsuite support.
• Cabal er nu 1.10.2.0 (var 1.10.1.0).

Hvad er nyt i version 7.0.2:

• Compiler:
• Den gamle [$ foo | ... |]. Syntaks fungerer igen, men er forældet
• Der har været betydelige improvments til den nye type checker.
• GHCi:
• Loading .a biblioteker er nu muligt på alle platforme. En .O bibliotek vil stadig blive brugt af præference, hvis begge findes. GHCi vil ikke længere advare om manglende .o biblioteker.
• Vi har nu lukke .ghci filer efter at have læst dem, som på Windows maskiner giver dem mulighed for at blive ændret, mens GHCi kører.
• Det er nu muligt at:. Frakoble ghci variabler (args, prog, hurtig, redaktør og stop)
• Runtime-system:
• DTrace understøttes nu på Solaris, foruden OS X.
• Byg systemet:
• OS X bygger på 10.6 nu arbejde på både 10,5 og 10,6.
• Windows-installationer omfatter nu libstdc ++ DLL.
• Haddock:
• GHC nu kommer med kuller 2.9.0.
• GHC omfatter nu hoogle databaser for bibliotekerne.

Hvad er nyt i version 7.0.1:

• Til POSIX platforme, der er en ny I / O Manager baseret på epoll / kqueue / meningsmåling, som gør det muligt flertrådede I / O-kode til at skalere til et langt større antal (100k +) tråde.
• GHC omfatter nu en LLVM kodegenerator. For visse kode, især aritmetiske tung kode, ved hjælp af LLVM kodegenerator kan bringe nogle gode ydeevne.
• Den type brik er blevet revideret, hvilket betyder, at det nu er i stand til korrekt at håndtere samspillet mellem typen systemudvidelser.
• inliner er blevet revideret, hvilket i almindelighed bør give en bedre ydeevne, mens unødvendig kode-størrelse eksplosion reducerende.
• Store dele af runtime-systemet er blevet en overhaling, især maskiner, relateret til blokering og wakeup af tråde og undtagelse kaste (throwTo). Flere tilfælde af patologisk ydeevne er fastsat, især hvor mange tråde er involveret.
• På grund af ændringer i runtime-system, hvis du bruger Control.Parallel.Strategies fra den parallelle pakke, skal du opgradere til mindst version 2 (helst version 3). Gennemførelsen af ​​strategier parallelt-1.x mister parallelitet med GHC 7.0.1.