[Haskell-cafe] Re: "Functional dependencies conflict between instance declarations"

bf3 at telenet.be bf3 at telenet.be
Wed Sep 12 14:35:33 EDT 2007

Are you kidding, or has automatic proving of programs evolved that far?

Anyway, for my sector, videogames, "proving" if something works correctly is
subjective, it's very hard to check if "the gameplay of a game is good
enough" since that involves human fuzzy judgement ;-)  Although this might
just be statistics, so can be proven too! Aaarrrggghhhh, soon we're all out
of job ;-)


-----Original Message-----
From: haskell-cafe-bounces at haskell.org
[mailto:haskell-cafe-bounces at haskell.org] On Behalf Of Stefan Monnier
Sent: Wednesday, September 12, 2007 7:06 PM
To: haskell-cafe at haskell.org
Subject: [Haskell-cafe] Re: "Functional dependencies conflict between
instance declarations"

>> 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.


Haskell-Cafe mailing list
Haskell-Cafe at haskell.org

More information about the Haskell-Cafe mailing list