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] | 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 | Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell |