| GHC | |
|---|---|
| Tip de | compilator |
| Dezvoltator | Universitatea din Glasgow |
| Scris in | C și Haskell |
| Sistem de operare | Linux , FreeBSD , NetBSD , OpenBSD , Solaris , macOS și Microsoft Windows |
| Prima editie | 1989 |
| ultima versiune | |
| Licență | licență BSD modificată [d] [2] |
| Site-ul web | haskell.org/ghc/ _ |
GHC ( ing. Glasgow Haskell Compiler ) - unul dintre cele mai puternice și avansate compilatoare ale limbajului de programare funcțional Haskell , dezvoltat sub coordonarea laboratorului Universității din Glasgow ; dezvoltatorii cheie sunt Simon Peyton- Jones și Simon Marlow . Distribuit gratuit sub o licență BSD modificată; rulează pe cele mai populare sisteme Unix și este inclus în majoritatea distribuțiilor Linux , există versiuni pentru Windows și macOS .
Sunt oferite trei opțiuni de compilare: direct la codurile de mașină ale arhitecturii țintă, compilare prin cod intermediar în C sau C-- , compilare sub LLVM . Compilatorul în sine este scris în mare parte în Haskell, dar timpul de execuție pentru programele compilate este implementat în C și C--. Pe lângă compilator, acesta include mediul de interpretare REPL GHCi .
Oferă suport complet pentru standardele Haskell-98 și Haskell-2010, implementând în plus o listă largă de extensii. Una dintre caracteristici este execuția paralelă a programelor, care nu necesită alocarea explicită a firelor de execuție (este necesară doar o adnotare explicită de la dezvoltatorul programului). Au fost implementate oportunități semnificative pentru optimizarea programului , inclusiv optimizarea inter-module. Sunt acceptate diferite opțiuni de profilare.
Câteva extensii de sisteme de tip suportate: polimorfism existențial, polimorfism de ordin superior, polimorfism impredicativ, tipuri de date algebrice generalizate, familii de tipuri (sinonime de tip indexat, tipuri de date indexate).
| Traducătorii Haskell | |
|---|---|
| Interpreți |
|
| Compilatoare | |