[Haskell-cafe] Re: Experiments with defunctionalization,
church-encoding and CPS
dave at zednenem.com
Sun Nov 1 17:26:40 EST 2009
On Sun, Nov 1, 2009 at 12:31 PM, Heinrich Apfelmus
<apfelmus at quantentunnel.de> wrote:
> David Menendez wrote:
>> On Sun, Nov 1, 2009 at 7:12 AM, Heinrich Apfelmus
>> <apfelmus at quantentunnel.de> 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 <dave at zednenem.com>
More information about the Haskell-Cafe