David Menendez wrote:
Heinrich Apfelmus wrote:
David Menendez wrote:
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?
The results for the Church encodings are mostly the same, but now the algebraic data type is much faster. touch Test.hs; ghc --make Test.hs -o Test-O2 -O2 ./Test-O2 data Maybe mean: 23.99268 ms, lb 23.64836 ms, ub 24.43737 ms, ci 0.950 Church encoding mean: 146.0500 ms, lb 138.6242 ms, ub 154.0508 ms, ci 0.950 Church encoding optimised mean: 93.31060 ms, lb 90.34235 ms, ub 96.25145 ms, ci 0.950 Regards, apfelmus -- http://apfelmus.nfshost.com