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

David Menendez 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>
<http://www.eyrie.org/~zednenem/>


More information about the Haskell-Cafe mailing list