[Haskell-cafe] Re: "Functional dependencies conflict between
monnier at iro.umontreal.ca
Wed Sep 12 13:05:34 EDT 2007
>> 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.
More information about the Haskell-Cafe