GHC transforms Haskell into "Core", which is roughly
the second-order lambda calculus,
augmented with let(rec), case, and constructors. This is an
a small explicitly-typed intermediate language, in contrast
to Haskell which is a very large, implicitly typed language.
Getting from Haskell to Core is a lot of work, and it might
be useful to be able to re-use that work.
Andrew's proposal (which he'll post to the Haskell list)
will define exactly what "Core" is.
Simon
| -----Original Message-----
| From: Timothy Docker [mailto:timd@macquarie.com.au]
| Sent: 05 February 2001 22:16
| To: haskell-cafe@haskell.org| Subject: Haskell Implemetors Meeting
|||| > We agreed that it would be a Jolly Good Thing if GHC could
| > be persuaded to produce GHC-independent Core output,
| > ready to feed into some other compiler. For example,
| > Karl-Filip might be able to use it.
| > ANDREW will write a specification, and implement it.
|| A quick question. What is meant by "Core output"? Subsequent posts
| seem to suggest this is some "reduced Haskell", in which full Haskell
| 98 can be expressed. Am I completely off beam here?
|| Tim Docker
|| _______________________________________________
| Haskell-Cafe mailing list
|Haskell-Cafe@haskell.org|http://www.haskell.org/mailman/listinfo/haskell-cafe|