Glasgow Haskell Compiler

(redirected from The Glasgow Haskell Compiler)

Glasgow Haskell Compiler

(GHC) A Haskell 1.2 compiler written in Haskell by the AQUA project at Glasgow University, headed by Simon Peyton Jones <> throughout the 1990's GHC can generate either C or native code for SPARC, DEC Alpha and other platforms. It can take advantage of features of gcc such as global register variables and has an extensive set of optimisations.

GHC features an extensible I/O system based on a "monad", in-line C code, fully fledged unboxed data types, incrementally-updatable arrays, mutable reference types, generational garbage collector, concurrent threads. Time and space profiling is also supported.

It requires GNU gcc 2.1+ and Perl.

GHC runs on Sun-4, DEC Alpha, Sun-3, NeXT, DECstation, HP-PA and SGI.

Latest version: 4.01, as of 1998-11-30.

Glasgow FTP. Yale. Sweden.


["Imperative functional programming", Peyton Jones & Wadler, POPL '93].

["Unboxed data types as first-class citizens", Peyton Jones & Launchbury, FPCA '91].

["Profiling lazy functional languages", Sansom & Peyton Jones, Glasgow workshop '92].

["Implementing lazy functional languages on stock hardware", Peyton Jones, Journal of Functional Programming, Apr 1992].

E-mail: <>.
Mentioned in ?
References in periodicals archive ?
The ideas were originally incorporated in the Glasgow Haskell compiler; subsequently added to the Chalmers and Yale Haskell compilers; and adopted for inclusion in the revised Haskell standard [Peterson and Hammond 19961.
The Glasgow Haskell compiler augments the language with a new form of expression
Monads are also used to structure the Glasgow Haskell compiler, which is itself written in Haskell [Wadler 1992; Hall et al.
In Section 4 we describe a full implementation of the profiler in the Glasgow Haskell Compiler, a state-of-the-art compiler for Haskell [Peyton Jones et al.
Cost Center profile of the Glasgow Haskell compiler. Tue May 18 17: 03 1993 Cost Center Profile hsc-0.13 +RTS -H25M -p -RTS -C -hi ...
This language embodies the essential features of the Core language used in the Glasgow Haskell compiler.
The Glasgow Haskell compiler makes use of many simple local transformations to optimize the code [Santos 1995].
The Glasgow Haskell Compiler is freely available from a number of FTP sites.