>> Never mind, that GHC compiler was again more clever than me, sigh.
>> That's really frustrating about Haskell: the compiler captures so many
>> errors at compile time, that newbies hardly get anything done, it's
>> a constant battle against the errors. But once it compiles, it usually
>> works at runtime :-)
> This is what I love about Haskell: If it typechecks, it probably does the
> thing you meant it to. I've never seen any other language like
> it. It's amazing!
Next stop: Coq, where the fight with the type checker is so much more
difficult that when the code finally type checks you don't even need to
run it at all.
Stefan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
