Re: Cryptarithm solver - Haskell vs. C++

[John Atwood]

Manuel M. T. Chakravarty wrote:
> 
> Bart Demoen <[EMAIL PROTECTED]> wrote,
> > Speed is not the only issue - feasability is an issue as well.
> 
> I completely agree, but the original poster did not complain
> about a slight discrepancy in speed, he was puzzled about an
> unacceptable large gap of several orders of magnitude.
> Speed is not the only issue, but it definitely is _an_ issue.

Another issue is correctness. What can be said about the correctness
of the C++ program? the haskell program? What theorems do we get
for free with this haskell program?


John Atwood