[Haskell-cafe] questions about core
catamorphism at gmail.com
Mon Feb 12 13:31:23 EST 2007
On 2/11/07, Matt Roberts <mattr at ics.mq.edu.au> wrote:
> - Exactly what are the operational and denotational semantics of core?
Since I don't think this question has been answered yet, here's a
mailing list post from Simon PJ that probably answers it:
That's from 2003, but I don't think the answer has changed since then.
If you wrote down a precise operational and/or denotational semantics
for Core, you'd probably have a research paper. (Especially if you
proved that GHC actually obeys that semantics...) (Disclaimer: my name
Kirsten Chevalier* chevalier at alum.wellesley.edu *Often in error, never in doubt
"There are no sexist decisions to be made. There are antisexist
decisions to be made. And they require tremendous energy and
self-scrutiny, as well as moral stamina..." -- Samuel R. Delany
More information about the Haskell-Cafe