[Haskell-cafe] powerful type checking & false expectations that a
program is correct
igouy at yahoo.com
Sat Jan 14 14:14:01 EST 2006
Programmers who use languages without static type
checking sometimes claim that static type checking
gives folk the false impression that once the program
passes type checking the program is correct.
That always seemed silly to me, but I'm starting to
Of course, the shootout programs are a silly
entertainment; but after taking the time to optimise
and write the programs, I'm a little surprised that
there have been Haskell contributions which just don't
give 'the correct answer' in a way that visual
inspection with the expected answer would detect.
ackermann Haskell GHC program
regex-dna (new) Haskell GHC #2 program
Oh well, they are just easy to fix formating bugs :-)
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
More information about the Haskell-Cafe