GHC Core Language
Wed, 7 Feb 2001 01:34:36 -0800
[moving to haskell-cafe]
> From: matt hellige [mailto:email@example.com]
> a quick question re: ghc's Core language... is it still very similar
> to the abstract syntax given in, for example, santos' "compilation by
> transformation..." (i think it was his dissertation?) and
> elsewhere, or
> has it changed significantly in the last couple of years? i only ask
> because i know the language used in that paper is somewhat
> different from
> the Core language given in peyton jones and lester's
> "implementing functional
> languages" from 92, and includes type annotations and so on.
The current Core language is still quite similar to what is described in
SL Peyton Jones and A Santos,
"A transformation-based optimiser for Haskell,"
Science of Computer Programming 32(1-3), pp3-47, September 1998.
But there have been some noticeable changes; for example,
function arguments are no longer required to be atomic.
A more recent version of Core is partially described (omitting types) in
SL Peyton Jones & S Marlowe,
"Secrets of the Glasgow Haskell Compiler Inliner,"