Re: Cryptarithm solver - Haskell vs. C++

[George Russell]

Marcin 'Qrczak' Kowalczyk wrote:
[snip]
> Maybe it's simply not possible to compile Haskell more efficiently?
Maybe not yet.  But someday we'll have enough processing power to do
really sophisticated whole-program analysis, including decent region 
analysis.  A lot of the techniques have already been published, but are
simply too expensive to do.  But when computers are faster, C++ will have
to watch out, as theoretically it is much harder to reason about.

Also the GHC folk do not alas have huge numbers of people slaving away trying
to shave 1% off execution time here and there, which makes a big difference.