Glasgow Haskell Compiler

Είναι προς το παρόν υποστηρίζει το σύνολο της Haskell 98 γλώσσες και μια μεγάλη ποικιλία επεκτάσεων γλώσσας

Χαρακτηριστικά :.

• GHC έχει ιδιαίτερα καλή υποστήριξη για ταυτοχρονισμού και παραλληλισμό, συμπεριλαμβανομένης της υποστήριξης για το λογισμικό Συναλλακτική μνήμης (ΕΕΜ).
• GHC παράγει γρήγορα κώδικα, ιδίως για ταυτόχρονη προγράμματα. Ρίξτε μια ματιά σε απόδοση GHC για τον υπολογιστή Γλώσσα Benchmarks παιχνίδι, και μερικές παρατηρήσεις σχετικά με Haskell από την τρέχουσα διοργανωτής της διαδικασίας των πέναλτι, Brent Fulgham.
• GHC λειτουργεί σε διάφορες πλατφόρμες, συμπεριλαμβανομένων των Windows και τις περισσότερες ποικιλίες του Unix, και πολλές διαφορετικές αρχιτεκτονικές επεξεργαστών. Υπάρχουν λεπτομερείς οδηγίες για την φορητότητα GHC σε μια νέα πλατφόρμα.
• GHC έχει εκτεταμένες δυνατότητες βελτιστοποίησης, μεταξύ των οποίων και ενότητα βελτιστοποίησης.
• GHC καταρτίζει κώδικα Haskell, είτε με τη χρήση ενός ενδιάμεσου μεταγλωττιστή της C (GCC), είτε με την παραγωγή εγγενή κώδικα σε ορισμένες πλατφόρμες. Το διαδραστικό περιβάλλον συγκεντρώνει Haskell σε bytecode, και υποστηρίζει την εκτέλεση των μικτών bytecode / καταρτίζονται προγράμματα.
• Ο χαρακτηρισμός υποστηρίζεται τόσο από το χρόνο / την κατανομή και διάφορα είδη του σωρού προφίλ.
• GHC έρχεται με ένα ευρύ φάσμα των βιβλιοθηκών.

Τι είναι καινούργιο σε αυτήν την έκδοση:

• Από προεπιλογή, GHC έχει μια νέα προειδοποίηση ενεργοποιημένη, -fwarn -typed-οπών, το οποίο προκαλεί τον compiler για να ανταποκριθεί με τους τύπους των μη δεσμευμένων μεταβλητών που συναντά στον πηγαίο κώδικα.
• Είναι δυνατόν τώρα να δηλώσει μια «κλειστή» οικογένεια τύπου, όταν χρησιμοποιείτε την επέκταση TypeFamilies.
• GHC τώρα υποστηρίζει υπερφόρτωση λίστα λεκτικές χρησιμοποιώντας τη νέα OverloadedLists παράταση.
• GHC υποστηρίζει τώρα μοτίβο συνώνυμα, ενεργοποιείται από την επέκταση -XPatternSynonyms.

Τι είναι καινούργιο στην έκδοση 7.6.2:

• Μια μακρά typechecker bug το οποίο επιτρέπεται να unsafeCoerce να γραφτεί έχει καθοριστεί.
• Ένα σφάλμα έχει διορθωθεί που προκάλεσε GHC μερικές φορές δεν συνειδητοποιούν ότι επαναμεταγλώττισης ήταν απαραίτητη.
• Αν και τα δύο -Η και μια -Μ & # X3C? Μέγεθος & # x3e? σημαία δίνονται, τότε GHC δεν θα είναι πλέον να υπερβαίνει το μέγιστο μέγεθος σωρού.
• έχει καθοριστεί μια off-ένα λάθος, το οποίο θα μπορούσε να προκαλέσει segfaults, σε ένα RTS σημαία ανάλυσης.
• Διάφορα σφάλματα που θα μπορούσαν να προκαλέσουν GHC στον πανικό κατά την κατάρτιση ορισμένων αρχεία προέλευσης έχουν καθοριστεί.
• Μερικά σφάλματα στον τύπο έλεγχο των DataKinds και PolyKinds επεκτάσεις έχουν καθοριστεί.
• Επιδόσεις καταρτίζονται προγράμματα έχει βελτιωθεί σε ορισμένες περιπτώσεις.

Τι είναι καινούργιο στην έκδοση 7.6.1:

• Οι πολυμορφικοί είδη και την προώθηση των δεδομένων είναι η πλήρης εφαρμογή και υποστηριζόμενες λειτουργίες:. Τμήμα 7.8, & quot? Kind πολυμορφισμός & quot?
• των Windows 64bit είναι τώρα μια υποστηριζόμενη πλατφόρμα.
• Είναι δυνατόν τώρα να αναβάλει τα σφάλματα τύπου μέχρι το χρόνο εκτέλεσης, χρησιμοποιώντας τη σημαία -fdefer-τύπου σφάλματα:. Ενότητα 7.13, & quot? Αναβολή σφάλματα τύπου για runtime & quot?
• Το RTS υποστηρίζει τώρα την αλλαγή του αριθμού των δυνατοτήτων κατά το χρόνο εκτέλεσης με Control.Concurrent.setNumCapabilities:. Ενότητα 4.15.2, & quot? Επιλογές RTS για το ΑΓΣ παραλληλισμό & quot?

Τι είναι καινούργιο στην έκδοση 7.4.2:.

• hp2ps μπορεί να χειριστεί τώρα αντικάθετοι σε αναγνωριστικά σωστά
• Fixed bug στην προεπιλεγμένη εφαρμογή της popCount σε Data.Bits.
• Μια πιθανή κατάσταση κούρσας στο Control.Concurrent.Chan έχει καθοριστεί.
• Ένα bug MVAr η οποία θα μπορούσε να προκαλέσει αδιέξοδα έχει καθοριστεί.
• Όταν χρησιμοποιείτε -fwarn-ανασφαλείς, GHC αναφέρει πλέον επεκτάσεις ανασφαλείς γλώσσα.
• Οι μη-threaded RTS αποφεύγει τώρα wakeups όταν το σύστημα είναι σε αδράνεια.
• Ένα bug που προκαλεί ένα ατύχημα με ένα πολύ μικρό αρχικό μέγεθος στοίβας έχει καθοριστεί.

Τι είναι καινούργιο στην έκδοση 7.4.1:

• Υπάρχει μια νέα λειτουργία Ασφαλούς Haskell (-XSafe , -XTrustworthy, -XUnsafe): Τμήμα 7.23, & quot? Ασφαλής Haskell & quot ;. Ο σχεδιασμός έχει αλλάξει από 7.2.
• Υπάρχει ένα νέο χαρακτηριστικό είδος πολυμορφισμού (-XPolyKinds): Τμήμα 7.8.1, & quot? Kind πολυμορφισμός & quot ;. Μια παρενέργεια αυτού είναι ότι, όταν η παράταση δεν είναι ενεργοποιημένη, σε ορισμένες περιπτώσεις, τα είδη έχουν πλέον επανέλθει σε * αντί να συναχθεί.
• Υπάρχει μια νέα είδη χαρακτηριστικό περιορισμός (-XConstraintKinds):. Παράγραφο 7.10, & quot? Ο περιορισμός είδος & quot?
• Είναι δυνατόν τώρα να δώσει οποιοδήποτε είδος της δήλωσης στη γραμμή ghci:. Ενότητα 2.4.4, & quot? Τύπο, την κατηγορία και άλλες δηλώσεις & quot?

Οι
• Το προφίλ και HPC εφαρμογές έχουν συγχωνευθεί και αναθεωρήθηκαν. Ορατές αλλαγές περιλαμβάνουν την μετονομασία του προφίλ σημαίες και τα κέντρα κόστους στοίβες έχουν μια νέα σημασιολογία, η οποία θα πρέπει στις περισσότερες περιπτώσεις να οδηγήσει σε πιο χρήσιμο και διαισθητική προφίλ. Το + RTS -Xc σημαία τώρα δίνει επίσης ένα stack trace.
• Είναι δυνατόν τώρα να γράψουν plugins compiler:. Τμήμα 9.3, & quot? Compiler Πρόσθετα & quot?
• υποστήριξη ϋΡΗ έχει βελτιωθεί σημαντικά.
• Δεν υπάρχει πλέον προκαταρκτική υποστήριξη για registerised σύνταξη στην πλατφόρμα ARM, χρησιμοποιώντας LLVM.

Τι είναι καινούργιο στην έκδοση 7.0.4:

• Μια πλωτή σημείο οπισθοδρόμηση σε 7.0.3 επηρεάζουν x86 έχει καθοριστεί.
• Ο συνδετήρας GHCi χειρίζεται τώρα μερικώς αφαιρεθεί αρχεία αντικείμενο. Αυτό καθορίζει τη φόρτωση των GHC συσκευασία ghci όταν έχει αφαιρεθεί, η οποία είναι συχνά η περίπτωση σε συσκευασίες διανομή Linux.
• Ένα bug που προκάλεσε άσχημα αποτελέσματα από getCPUTime, getClockTime και getCurrentTime έχει καθοριστεί.
• Ένα bug σύστημα εκτέλεσης με μεγάλους σωρούς έχει καθοριστεί.
• Ένα bug σύστημα εκτέλεσης όταν σωρός προφίλ έχει καθοριστεί.
• Ένα bug σύστημα εκτέλεσης όταν σωρός προφίλ έχει καθοριστεί.
• Ένα bug σύστημα εκτέλεσης, η οποία προκάλεσε εσφαλμένα αποτελέσματα και segfaults όταν χρησιμοποιούν το ΟΕΕ callbacks, έχει καθοριστεί.
• Ένα bug σύστημα εκτέλεσης, το οποίο κατά καιρούς προκάλεσαν παράλληλων προγραμμάτων στο & # X3C? & # X3C? Βρόχου & # x3e? & # X3e? κατά τη χρήση -feager-blackholing, έχει καθοριστεί.
• Λάθος δικαιώματα του καταλόγου κατά την εγκατάσταση έχουν καθοριστεί.
• Κάποιες βελτιώσεις έχουν πραγματοποιηθεί προς τη νέα υποστήριξη testsuite Cabal.
• Cabal είναι τώρα 1.10.2.0 (ήταν 1.10.1.0).

Τι είναι καινούργιο στην έκδοση 7.0.2:

• Compiler:
• Το παλιό [$ foo | ... |]. Σύνταξη λειτουργεί και πάλι, αλλά έχει καταργηθεί
• Υπήρξαν σημαντικές βελτιώσεων για το νέο τύπο πούλι.
• GHCi:
• Φόρτωση .α βιβλιοθήκες είναι πλέον δυνατή σε όλες τις πλατφόρμες. Μια βιβλιοθήκη .Ο θα συνεχίσουν να χρησιμοποιούνται με προτίμηση αν υπάρχουν και τα δύο. GHCi δεν θα είναι πλέον προειδοποιούν για λείπουν .Ο βιβλιοθήκες.
• Τώρα κλείστε .ghci αρχεία μετά την ανάγνωσή τους, η οποία σε Windows μηχανήματα τους επιτρέπει να μεταβληθεί κατά τη διάρκεια GHCi τρέχει.
• Είναι δυνατόν τώρα να:. Επανέρχεστε οι μεταβλητές ghci (args, prog, έγκαιρη, εκδότης και στάση)

Σύστημα
• Διάρκεια:
• DTrace υποστηρίζεται τώρα στο Solaris, εκτός από OS X.
• σύστημα Σώμα:
• OS X βασίζεται σε 10,6 τώρα εργάζονται τόσο 10.5 και 10.6.
• εγκαταστάσεις των Windows περιλαμβάνουν πλέον το libstdc ++ DLL.
• Μπακαλιάρος:
• GHC τώρα έρχεται με τον μπακαλιάρο 2.9.0.
• GHC περιλαμβάνει τώρα hoogle βάσεις δεδομένων για τις βιβλιοθήκες.

Τι είναι καινούργιο στην έκδοση 7.0.1:

• Σε πλατφόρμες POSIX, υπάρχει μια νέα I / O διαχειριστής βασίζεται σε χρήση του Epoll / kqueue / δημοσκόπηση, η οποία επιτρέπει την πολυνηματική κώδικα I / O για να κλιμακώνεται σε ένα πολύ μεγαλύτερο αριθμό (100k +) των νημάτων.
• GHC τώρα περιλαμβάνει μια γεννήτρια κώδικα LLVM. Για ορισμένους κώδικας, ιδιαίτερα αριθμητική βαριά κώδικα, χρησιμοποιώντας την γεννήτρια κώδικα LLVM μπορεί να φέρει μερικά ωραία βελτιώσεις στην απόδοση.
• Ο ελεγκτής τύπος έχει αναθεωρήθηκε, πράγμα που σημαίνει ότι είναι πλέον σε θέση να χειριστεί σωστά τις αλληλεπιδράσεις μεταξύ των επεκτάσεων του συστήματος τύπου.
• Η inliner έχει αναθεωρήθηκε, η οποία θα πρέπει σε γενικές γραμμές να δώσει την καλύτερη απόδοση, ενώ μείωση των περιττών έκρηξη κωδικός μεγέθους.

Οι
• Μεγάλα τμήματα του συστήματος χρόνου εκτέλεσης αναθεωρήθηκε, ειδικότερα, οι μηχανισμοί που σχετίζονται με το κλείδωμα και την επαναφορά των νημάτων και εξαίρεση ρίψη (throwTo). Αρκετές περιπτώσεις παθολογικών επιδόσεις έχουν καθοριστεί, ειδικά όταν πρόκειται για μεγάλο αριθμό νημάτων.
• Λόγω των αλλαγών στο σύστημα χρόνου εκτέλεσης, εάν χρησιμοποιείτε Control.Parallel.Strategies από την παράλληλη δέσμη, παρακαλούμε αναβαθμίστε τουλάχιστον στην έκδοση 2 (κατά προτίμηση έκδοση 3). Η εφαρμογή των στρατηγικών παράλληλα-1.x θα χάσει ο παραλληλισμός με GHC 7.0.1.