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:[EMAIL PROTECTED]]
| Sent: 05 February 2001 22:16
| To: [EMAIL PROTECTED]
| 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
| [EMAIL PROTECTED]
| http://www.haskell.org/mailman/listinfo/haskell-cafe
|
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe