[Haskell-cafe] Proving correctness

Pavel Perikov perikov at gmail.com
Mon Feb 14 21:15:36 CET 2011

> Who claimed that Haskell is a proof assistant?

no one sanely will :) Haskell is a beautiful and practical (!) programming language with great infrastructure and community. Sadly,  proving inside haskell is hard :) And it doesn't bring me coffee in the morning too (well, it mostly does)


On 14.02.2011, at 23:08, Albert Y. C. Lai wrote:

> On 11-02-14 03:03 PM, Pavel Perikov wrote:
>> Sorely, Haskell can't prove logic with it. No predicates on values, guarantee that proof is not _|_. Haskell makes bug free software affordable, that's true. But it's not a proof assistant.
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list