Glasgow Haskell Compiler

Kasalukuyang sinusuportahan nito ang buong Haskell 98 wika at ng maraming uri ng mga extension ng wika

Mga Tampok :.

• May GHC lalo na mahusay na suporta para sa concurrency at paralelismo, kabilang ang suporta para sa Software transaksyong Memory (STM).
• GHC ay bumubuo ng mabilis code, lalo na para sa sabay-sabay na mga programa. Tingnan ang pagganap GHC sa Wika Ang Computer Benchmarks Game, at ilang mga komento sa Haskell sa pamamagitan ng kasalukuyang tagapag-ayos ng shootout, Brent Fulgham.
• GHC gumagana sa ilang mga platform kabilang ang Windows at pinaka-ibang uri ng Unix, at maraming iba't ibang mga processor architectures. Walang mga detalyadong tagubilin para sa pag-port GHC sa isang bagong platform.
• GHC ay may malawak na kakayahan sa pag-optimize, kabilang ang ilibing-module sa pag-optimize.
• GHC compiles Haskell code alinman sa pamamagitan ng paggamit ng isang intermediate C compiler (GCC), o sa pamamagitan ng pagbuo ng mga native na code sa ilang mga platform. Ang interactive na kapaligiran compiles Haskell sa bytecode, at sumusuporta sa pagpapatupad ng halo-halong bytecode / inipon programa.
• Pag-profile ay suportado, parehong sa pamamagitan ng oras / paglalaan at iba't-ibang uri ng mga kimpal-profile.
• GHC ay may malawak na hanay ng mga aklatan.

Ano ang bagong sa paglabas:

• Sa pamamagitan ng default, ang nagpagana ng isang bagong babala GHC, -fwarn -typed-butas, na nagiging sanhi ng mga compiler na tumugon sa mga uri ng walang tali variable ito ay nakatagpo sa source code.
• Posible na ngayon na idedeklara isang 'nakasara' Uri ng pamilya kapag ginagamit ang extension TypeFamilies.
• Sinusuportahan na ngayon ng GHC ingagkakargaang labis listahan literals gamit ang bagong extension OverloadedLists.
• Sinusuportahan ng GHC ngayon pattern kasingkahulugan, pinagana ng extension -XPatternSynonyms.

Ano ang bagong sa bersyon 7.6.2:

• May matagal nang magandang typechecker bug na pinapayagan unsafeCoerce sa na nakasulat Naayos na.
• Ang isang bug ay naayos na naging dahilan upang GHC minsan ay hindi mapagtanto na recompilation ay kinakailangan.
• Kung ang parehong -H at -M & # x3c; sukat & # x3e; -flag ay binibigyan, pagkatapos ay GHC ay hindi na lumampas sa maximum na laki kimpal.
• Ang isang off-by-isa error, na maaaring magdulot segfaults, sa RTS-flag sa pag-parse Naayos na.
• Iba't ibang mga bug na maaaring maging sanhi ng GHC sa biglang pagkatakot kapag kino-compile ang ilang mga mapagkukunan ng mga file ay nai-naayos na.
• Ang ilang mga bug sa uri ng pagsuri sa DataKinds at PolyKinds extension ay na-naayos na.
• Pagganap ng pinagsama-sama programa ay napabuti sa ilang mga kaso.

Ano ang bagong sa bersyon 7.6.1:

• Polymorphic uri at pag-promote ng data ay ganap na ipinatupad ngayon at suportado tampok:. Seksyon 7.8, & quot; Uri polymorphism & quot;
• Windows 64bit na ngayon ang isang suportadong platform.
• Ito ay ngayon posible upang umalinsunod error uri hanggang sa runtime gamit ang bandila -fdefer-uri-error:. Seksyon 7.13, & quot; Deferring error uri sa runtime & quot;
• Sinusuportahan na ngayon ng RTS pagbabago sa bilang ng mga kakayahan sa runtime sa Control.Concurrent.setNumCapabilities:. Seksyon 4.15.2, & quot; Mga pagpipilian para sa RTS SMP paralelismo & quot;

Ano ang bagong sa bersyon 7.4.2:.

• hp2ps ay maaari na ngayong pangasiwaan ang tama backslash sa mga pantukoy
• Mga Fixed bug sa default na pagpapatupad ng popCount sa Data.Bits.
• Ang isang potensyal na kondisyon lahi sa Control.Concurrent.Chan ay naayos na.
• Ang isang MVar bug na maaaring magdulot deadlocks ay naayos na.
• Kapag gumagamit ng -fwarn-hindi ligtas, GHC ulat ngayon hindi ligtas na mga extension ng wika.
• Ang mga non-may sinulid RTS avoids ngayon wakeups kapag ang sistema ay bakante.
• Ang isang bug na nagiging sanhi ng pag-crash sa isang napakaliit na paunang laki ng stack ay naayos na.

Ano ang bagong sa bersyon 7.4.1:

• Walang ay isang bagong tampok na Ligtas na Haskell (-XSafe , -XTrustworthy, -XUnsafe): Seksyon 7.23, & quot; Ligtas na Haskell & quot ;. Disenyo ay nagbago mula noong 7.2.
• Walang ay isang bagong tampok uri polymorphism (-XPolyKinds): Seksyon 7.8.1, & quot; Uri polymorphism & quot ;. Ang isang side-epekto nito ay, kapag ang extension ay hindi gumagana, sa ilang mga pangyayari uri ay naka-default na ngayon sa * halip na natukoy na.
• Walang ay isang bagong tampok na hadlang na uri (-XConstraintKinds):. Seksyon 7.10, & quot; Ang Hadlang uri & quot;
• Ito ay posible na ngayon upang bigyan ng anumang uri ng pagpapahayag sa ghci prompt:. Seksyon 2.4.4, & quot; Uri, klase at iba pang mga pagpapahayag & quot;
• Ang Pag-profile at hpc pagpapatupad Napagsama at overhauled. Nakikita pagbabago ay kabilang ang pagpapalit ng pangalan ng profile na mga flag at ang mga stack na cost-sentro ay may bagong semantic, na dapat sa karamihan ng mga kaso magreresulta sa mas kapaki-pakinabang at madaling gamitin na mga profile. Ang + RTS -xc flag na ngayon ay nagbibigay din ng isang stack trace.
• Ito ay ngayon posible na magsulat compiler plugin:. Seksyon 9.3, & quot; Compiler Social na Plugin & quot;
• suporta sa DPH ay makabuluhang pinabuting.
• Mayroon na ngayong paunang suporta para sa registerised compilation sa ARM platform, gamit LLVM.

Ano ang bagong sa bersyon 7.0.4:

• May mga lumulutang na tuldok pagbabalik sa 7.0.3 na nakakaapekto sa x86 Naayos na.
• Ang GHCi linker humahawak ngayon bahagyang Nakuha mga file object. Inaayos na ito paglo-load ng ghc package sa ghci kapag ito ay na-Nakuha, na kung saan ay madalas na kaso sa Linux pakete pamamahagi.
• Ang isang bug na sanhi hindi magandang resulta mula sa getCPUTime, getClockTime at getCurrentTime ay naayos na.
• Ang isang runtime sistema ng bug na may malaking tambak Naayos na.
• Ang isang runtime sistema ng bug kapag kimpal-profile Naayos na.
• Ang isang runtime sistema ng bug kapag kimpal-profile Naayos na.
• Ang isang runtime sistema ng bug, na dulot maling resulta at segfaults kapag gumagamit ng FFI callback, ay naayos na.
• Ang isang runtime sistema ng bug, na paminsan-minsan na sanhi parallel na mga programa sa & # x3c; & # x3c; loop & # x3e; & # x3e; kapag gumagamit ng -feager-blackholing, ay naayos na.
• Hindi tamang pahintulot na direktoryo kapag na-i-install ng maayos.
• Ang ilang mga pagpapabuti na ginawa sa mga bagong mag-intriga testsuite suporta.
• mag-intriga ay ngayon 1.10.2.0 (ay 1.10.1.0).

Ano ang bagong sa bersyon 7.0.2:

• Compiler:
• Ang lumang [$ foo | ... |]. Syntax gumagana muli, ngunit hindi na ginagamit
• Nagkaroon ng makabuluhang improvments sa bagong uri ng checker.
• GHCi:
• Naglo-load .a aklatan na ngayon ang panahon sa lahat ng mga platform. Ang isang .o library ng mga gumagamit ay ginagamit ng mga kagustuhan kung ang parehong umiiral. GHCi ay hindi na bigyan ng babala tungkol sa nawawalang .o mga aklatan.
• isara namin ngayon .ghci mga file pagkatapos basahin ang mga ito, na sa Windows machine ay nagbibigay-daan sa kanila upang mabago habang GHCi ay tumatakbo.
• Ito ay ngayon posible na:. Hindi nakatakda ang mga variable ghci (args, prog, prompt, editor at ihinto)
• Runtime system:
• DTrace ay suportado na ngayon sa Solaris, bilang karagdagan sa OS X.
• sistema ng Build:
• OS X build sa 10.6 gumagana ngayon sa parehong 10.5 at 10.6.
• pag-install sa Windows na ngayong magsama ng libstdc ++ DLL.
• hadok:
• GHC ngayon ay may hadok 2.9.0.
• Kasama na ngayon sa GHC hoogle mga database para sa mga aklatan.

Ano ang bagong sa bersyon 7.0.1:

• Sa POSIX na mga platform, mayroong isang bagong ako / O manager batay sa epoll / kqueue / poll, na nagpapahintulot sa multithreaded I / O code upang masukat sa isang mas malaking bilang (100k +) ng thread.
• GHC Kasama na ngayon sa isang LLVM code generator. Para sa ilang mga code, lalo na palatuusan mabigat code, gamit ang LLVM code generator ay maaaring magdala ng ilang gandang pagpapabuti sa pagganap.
• Ang uri checker ay overhauled, na nangangahulugang ito ay ngayon magagawang tama pangasiwaan ang pakikipag-ugnayan sa pagitan ng mga extension ng uri ng system.
• inliner ay overhauled, na dapat na pangkalahatang magbigay ng mas mahusay na pagganap habang pagbabawas ng mga hindi kinakailangang code-size na pagsabog.
• Malaking bahagi ng runtime sistema ay na-overhauled, partikular ang mga makina na may kaugnayan sa pag-block at Wakeup ng mga thread at pagbubukod pagkahagis (throwTo). Ilang mga kaso ng pathological pagganap ay na naayos, lalo na kung saan malaking bilang ng mga thread kasangkot.
• Dahil sa mga pagbabago sa runtime system, kung ikaw ay gumagamit Control.Parallel.Strategies mula sa parallel package, mangyaring mag-upgrade sa hindi bababa sa bersyon 2 (mas maganda na bersyon 3). Ang pagpapatupad ng Diskarte sa parallel-1.x ay mawawala ang paralelismo sa GHC 7.0.1.