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
