Re: [Haskell-cafe] Re: Experiments with defunctionalization, church-encoding and CPS

On Sun, Nov 1, 2009 at 12:31 PM, Heinrich Apfelmus wrote:

David Menendez wrote:

...

On Sun, Nov 1, 2009 at 7:12 AM, Heinrich Apfelmus wrote:

...

Even then, the results are mixed. The Church-encoding shines in GHCi as it should, but loses its advantage when the code is being compiled. I guess we have to look at the core if we want to know what exactly is going on.

What optimization level did you compile with?

No optimization.

Do you get the same results if you compile with -O2? Or does that screw up criterion somehow? -- Dave Menendez http://www.eyrie.org/~zednenem/