[Haskell-cafe] Proving correctness

[kevin at froglingo.com]

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
Kevin


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