The Haskell kernel

[Simon Peyton-Jones]

I'm afraid the "Haskell kernel" isn't formally defined.  The Report
describes how to translate complex constructs into simpler ones,
but neither specifies *exactly* what these simpler ones are, nor gives
their meaning in a formal way.

Simon

| -----Original Message-----
| From: ml_dk@sol.dk [mailto:ml_dk@sol.dk]=20
| Sent: 01 May 2001 13:31
| To: Haskell mailinglist
| Subject: The Haskell kernel
|=20
|=20
|=20
| In the report on the Haskell programming language=20
| (http://www.haskell.org/onlinereport/),
| the Haskell kernel is mentionen in several places. It says in=20
| section 1.2 that the Haskell kernel is a slightly sugared=20
| form of lambda calculus. Futhermore most expression should be=20
| possible to translate to the Haskell kernel.
|=20
| But where is this kernel defined (I cannot find it in the report) ?
|=20
| Actually the case-expression(section 3.13) seems more=20
| fundamental than the lambda-expression in Haskell. Several=20
| construct translate to the case-expression instead of=20
| lambda-expression as the if-expression(section 3.6). It is=20
| also shown howto translate the lambda-expression into the=20
| case-expression in section 3.3. Am I missing something here ?
|=20
| Grateful for any hint.
|=20
| Mads
|=20
|=20
|=20
| ________________________________________
| F=E5 din egen webmail p=E5 http://mail.sol.dk - gratis og med dig =
overalt!
|=20
|=20
| _______________________________________________
| Haskell mailing list
| Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
|=20