GHC

GHC
Type compiler
Udvikler University of Glasgow
Skrevet i C og Haskell
Operativ system Linux , FreeBSD , NetBSD , OpenBSD , Solaris , macOS og Microsoft Windows
Første udgave 1989
nyeste version
Licens ændret BSD-licens [d] [2]
Internet side haskel.org/ghc/

GHC ( eng.  Glasgow Haskell Compiler ) - en af ​​de mest kraftfulde og avancerede kompilatorer af Haskell funktionelle programmeringssprog , udviklet under koordinering af laboratoriet ved University of Glasgow ; nøgleudviklere er Simon Peyton- Jones og Simon Marlow . Frit distribueret under en modificeret BSD-licens; kører på de fleste populære Unix-systemer og er inkluderet i de fleste Linux-distributioner , der er versioner til Windows og macOS .  

Der er tre kompileringsmuligheder: direkte til maskinkoder for målarkitekturen, kompilering gennem mellemkode i C eller C-- , kompilering under LLVM . Selve compileren er for det meste skrevet i Haskell, men kørselstiden for kompilerede programmer er implementeret i C og C--. Ud over compileren inkluderer den GHCi- fortolkende REPL - miljø .

Giver fuld support til Haskell-98- og Haskell-2010-standarder, derudover implementeret en bred liste af udvidelser. En af funktionerne er parallel eksekvering af programmer, som ikke kræver eksplicit allokering af eksekveringstråde (kun en eksplicit annotation fra programudvikleren er påkrævet). Der er implementeret betydelige muligheder for programoptimering , herunder inter-modul optimering . Forskellige profileringsmuligheder understøttes.

Nogle understøttede typesystemudvidelser: eksistentiel polymorfi, højere ordens polymorfi, impredikativ polymorfi, generaliserede algebraiske datatyper, typefamilier (indekserede typesynonymer, indekserede datatyper).

Noter

  1. GHC 9.4.1 download
  2. Glasgow Haskell Compiler License 

Litteratur

Links