Operational Semantics of Haskell

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.

Hi
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 probably aren't after operational semantics - the compiler takes your code and optimises it to something bearing little relation to the original. Are you passing -O2? Have you read the performance wiki page? http://haskell.org/haskellwiki/Performance Thanks Neil

darrelll:
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.
The best thing is to look at the tricks on the performance wiki, http://haskell.org/haskellwiki/Performance The most useful tools are profiling (ghc -O2 -prof -auto-all ; then run ./a.out with +RTS -p), and reading the intermediate Core GHC produces. -- Don

On 8/1/07, Lewis-Sandy, Darrell
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@gmail.com Silence is the perfectest herald of joy: I were but little happy, if I could say how much.
participants (4)
-
dons@cse.unsw.edu.au
-
Lewis-Sandy, Darrell
-
Neil Mitchell
-
Thomas Conway