Glasgow Haskell Compiler

Saat ini mendukung seluruh Haskell 98 bahasa dan berbagai ekstensi bahasa

Fitur :.

• GHC memiliki dukungan yang sangat baik untuk concurrency dan paralelisme, termasuk dukungan untuk Software Transaksional Memory (STM).
• GHC menghasilkan kode yang cepat, terutama untuk program bersamaan. Lihatlah kinerja GHC di Bahasa Komputer Benchmark Game, dan beberapa komentar di Haskell oleh penyelenggara saat adu, Brent Fulgham.
• GHC bekerja pada beberapa platform termasuk Windows dan sebagian besar varietas Unix, dan beberapa arsitektur prosesor yang berbeda. Ada petunjuk rinci untuk port GHC ke platform baru.
• GHC memiliki kemampuan optimasi yang luas, termasuk optimasi antar modul.
• GHC mengkompilasi kode Haskell baik dengan menggunakan C compiler menengah (GCC), atau dengan menghasilkan kode asli pada beberapa platform. Lingkungan interaktif mengkompilasi Haskell ke bytecode, dan mendukung pelaksanaan campuran bytecode / program dikompilasi.
• Profiling didukung, baik oleh waktu / alokasi dan berbagai macam tumpukan profiling.
• GHC hadir dengan berbagai perpustakaan.

Apa yang baru dalam rilis ini:

• Secara default, GHC telah peringatan baru diaktifkan, -fwarn -typed-lubang, yang menyebabkan compiler untuk merespon dengan jenis variabel terikat itu pertemuan dalam kode sumber.
• Sekarang mungkin untuk menyatakan 'tertutup' tipe keluarga ketika menggunakan ekstensi TypeFamilies.
• GHC sekarang mendukung overloading daftar literal menggunakan ekstensi OverloadedLists baru.
• GHC sekarang mendukung pola sinonim, diaktifkan oleh ekstensi -XPatternSynonyms.

Apa yang baru dalam versi 7.6.2:

• A lama bug typechecker yang memungkinkan unsafeCoerce ke ditulis telah diperbaiki.
• Sebuah bug telah diperbaiki yang menyebabkan GHC kadang-kadang tidak menyadari bahwa kompilasi ulang diperlukan.
• Jika kedua -H dan -M & # x3c; ukuran & # x3e; bendera diberikan, maka GHC tidak akan lagi melebihi ukuran tumpukan maksimum.
• Sebuah off-per-satu kesalahan, yang dapat menyebabkan segfaults, di RTS bendera parsing telah diperbaiki.
• Berbagai bug yang dapat menyebabkan GHC panik ketika mengkompilasi file sumber tertentu telah diperbaiki.
• Beberapa bug dalam jenis memeriksa DataKinds dan PolyKinds ekstensi telah diperbaiki.
• Kinerja program dikompilasi telah ditingkatkan dalam beberapa kasus.

Apa yang baru dalam versi 7.6.1:

• jenis polimorfik dan promosi data sekarang sepenuhnya dilaksanakan dan fitur yang didukung:. Bagian 7.8, & quot; Jenis polimorfisme & quot;
• Windows 64bit sekarang menjadi platform yang didukung.
• Sekarang mungkin untuk menunda jenis kesalahan sampai runtime menggunakan -fdefer tipe-kesalahan bendera:. Bagian 7.13, & quot; Menunda jenis kesalahan runtime & quot;
• The RTS sekarang mendukung perubahan jumlah kemampuan saat runtime dengan Control.Concurrent.setNumCapabilities:. Bagian 4.15.2, & quot; pilihan RTS untuk SMP paralelisme & quot;

Apa yang baru dalam versi 7.4.2:.

• hp2ps sekarang dapat menangani backslash dalam pengidentifikasi dengan benar
• Fixed bug dalam pelaksanaan standar popCount di Data.Bits.
• Kondisi ras potensial di Control.Concurrent.Chan telah diperbaiki.
• Sebuah bug MVar yang dapat menyebabkan deadlock telah diperbaiki.
• Bila menggunakan -fwarn-aman, GHC sekarang melaporkan ekstensi bahasa yang tidak aman.
• RTS non-threaded sekarang menghindari wakeups ketika sistem idle.
• Sebuah bug yang menyebabkan kecelakaan dengan awal yang sangat kecil ukuran stack telah diperbaiki.

Apa yang baru dalam versi 7.4.1:

• Ada fitur baru Aman Haskell (-XSafe , -XTrustworthy, -XUnsafe): Bagian 7.23, & quot; Aman Haskell & quot ;. Desain telah berubah sejak 7,2.
• Ada fitur baru polimorfisme jenis (-XPolyKinds): Bagian 7.8.1, & quot; Jenis polimorfisme & quot ;. Sebuah efek samping dari ini adalah bahwa, ketika ekstensi tidak diaktifkan, dalam keadaan tertentu jenis sekarang gagal untuk * bukannya disimpulkan.
• Ada macam fitur kendala baru (-XConstraintKinds):. Bagian 7.10, & quot; The Kendala jenis & quot;
• Sekarang mungkin untuk memberikan semacam deklarasi di ghci prompt:. Bagian 2.4.4, & quot; Jenis, kelas dan deklarasi lain & quot;
• The profiling dan HPC implementasi telah digabungkan dan dirombak. Perubahan yang terlihat termasuk mengubah nama dari profil bendera dan tumpukan biaya-pusat memiliki semantik baru, yang seharusnya dalam banyak kasus menghasilkan profil yang lebih berguna dan intuitif. The + RTS -xc bendera kini juga memberikan setumpuk jejak.
• Sekarang mungkin untuk menulis compiler plugin:. Bagian 9.3, & quot; Compiler Plugins & quot;
• dukungan DPH telah meningkat secara signifikan.
• Saat ini sudah ada dukungan awal untuk kompilasi registerised pada platform ARM, menggunakan LLVM.

Apa yang baru dalam versi 7.0.4:

• Titik regresi mengambang di 7.0.3 mempengaruhi x86 telah diperbaiki.
• The ghci linker sekarang menangani file objek sebagian dilucuti. Ini akan memperbaiki memuat paket GHC di ghci ketika sudah dilucuti, yang sering terjadi di paket distribusi Linux.
• Sebuah bug yang menyebabkan hasil buruk dari getCPUTime, getClockTime dan getCurrentTime telah diperbaiki.
• Sebuah bug sistem runtime dengan tumpukan besar telah diperbaiki.
• Sebuah bug sistem runtime ketika tumpukan profiling telah diperbaiki.
• Sebuah bug sistem runtime ketika tumpukan profiling telah diperbaiki.
• Sebuah bug sistem runtime, yang menyebabkan hasil yang salah dan segfaults ketika menggunakan FFI callback, telah diperbaiki.
• Sebuah bug sistem runtime, yang kadang-kadang menyebabkan program paralel ke & # x3c; & # x3c; lingkaran & # x3e; & # x3e; saat menggunakan -feager-blackholing, telah diperbaiki.
• Salah hak akses direktori ketika menginstal telah diperbaiki.
• Beberapa perbaikan telah dilakukan untuk mendukung testsuite Cabal baru.
• Cabal sekarang 1.10.2.0 (adalah 1.10.1.0).

Apa yang baru dalam versi 7.0.2:

• Compiler:
• tua [$ foo | ... |]. Sintaks bekerja lagi, tapi sudah ditinggalkan
• Ada improvments signifikan dengan jenis checker baru.
• ghci:
• Memuat .a perpustakaan sekarang mungkin pada semua platform. Sebuah perpustakaan .o masih akan digunakan oleh preferensi jika kedua ada. Ghci tidak akan lagi memperingatkan tentang hilang .o perpustakaan.
• Kita sekarang tutup .ghci file setelah membaca mereka, yang pada mesin Windows memungkinkan mereka untuk diubah sementara ghci berjalan.
• Sekarang mungkin untuk:. Unset variabel ghci (args, prog, cepat, editor dan berhenti)

Sistem
• Runtime:
• DTrace sekarang didukung pada Solaris, selain OS X.
• Membangun sistem:
• OS X dibangun di atas 10,6 sekarang bekerja pada kedua 10,5 dan 10,6.
• instalasi Windows sekarang termasuk libstdc ++ yang DLL.
• Haddock:
• GHC kini hadir dengan haddock 2.9.0.
• GHC sekarang termasuk database hoogle untuk perpustakaan.

Apa yang baru dalam versi 7.0.1:

• Pada platform POSIX, ada I baru / O manager berdasarkan epoll / kqueue / jajak pendapat, yang memungkinkan multithreaded I / O kode untuk skala untuk jumlah yang jauh lebih besar (100k +) dari benang.
• GHC sekarang termasuk generator kode LLVM. Untuk kode tertentu, kode berat khususnya aritmatika, dengan menggunakan kode LLVM Generator dapat membawa beberapa perbaikan kinerja yang bagus.
• Jenis checker telah dirombak, yang berarti sekarang dapat benar menangani interaksi antara ekstensi jenis sistem.
• inliner telah dirombak, yang seharusnya pada umumnya memberikan kinerja yang lebih baik sambil mengurangi tidak perlu kode ukuran ledakan.
• bagian besar dari sistem runtime telah dirombak, khususnya mesin yang terkait dengan memblokir dan wakeup benang dan pengecualian melempar (throwTo). Beberapa contoh kinerja patologis telah diperbaiki, terutama di mana sejumlah besar benang yang terlibat.
• Karena perubahan dalam sistem runtime, jika Anda menggunakan Control.Parallel.Strategies dari paket paralel, silakan upgrade ke setidaknya versi 2 (sebaiknya versi 3). Pelaksanaan Strategi secara paralel-1.x akan kehilangan paralelisme dengan GHC 7.0.1.