It sounds reasonable. However knowledge of how program performs in micro-steps does not add up, so the benchmarks may wet up appetite for lunch that does not come. I have pointed into such example - an astonishing and unexplained underperformance of Haskell with all the profiling information at hand.
I guess Haskell compilers are not particularly good at detecting specific properties of a program and hence with optimizing it. This however shows up with size so Donald's benchmarks cannot catch that out. For this reason, undiagnosed and untreated, Haskell has been abandoned for example in Algebraic Dynamic Programming, in spite of its unparallel expressive power and a lot of hope. In ILP/IFP and GP it failed too. Cheers, --Andrzej _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
