[Haskell-cafe] Proving correctness

kevin at froglingo.com kevin at froglingo.com
Mon Feb 14 22:57:20 CET 2011

On 14.02.2011, at 03:03 PM, Pavel Perikov [perikov at gmail.com] 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.

Being equivalent to a class of total recursive functions, the EP (Enterprise-Participant) data model can assist users to enter arbitrary and meaningful expressions only. It is a new addition to programming languages. Check out here: http://www.froglingo.com/FroglingoPL.pdf

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110214/0ec01dd2/attachment.htm>

More information about the Haskell-Cafe mailing list