[Haskell-cafe] Operational Semantics of Haskell

[Thomas Conway]

On 8/1/07, Lewis-Sandy, Darrell <darrelll at amgen.com> wrote:
> Is there a good source for the operational semantics of Haskell?  I am
> trying to squeeze the most efficiency out of a bit of code and am looking to
> remove unnecessary reductions.

You're kind of asking two questions - the first you ask explicitly,
the second "how do I optimize my program" others have already
answered.

The first question is a very tricky one for haskell. For example, see
the following:

http://www.cs.chalmers.se/~rjmh/Haskell/Messages/Archived.cgi?id=102

-- 
Dr Thomas Conway
drtomc at gmail.com

Silence is the perfectest herald of joy:
I were but little happy, if I could say how much.