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