Haskell Implemetors Meeting

[Simon Peyton-Jones]

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
|