[Haskell-cafe] powerful type checking & false expectations that a program is correct

Isaac Gouy 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
wonder ;-)

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.

For example
   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 mailing list