[Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008
dmehrtash at gmail.com
Sun Sep 14 01:24:50 EDT 2008
What I am trying to figure out is that say on the code for the IRC bot that
is show here
What would theorem proofs do for me?
On Sat, Sep 13, 2008 at 9:29 PM, Don Stewart <dons at galois.com> wrote:
> > I have a newbie question.... Does theorem proofs have a use for an
> > application? Take for example the IRC bot example
> > (http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot) listed
> > below. Is there any insight to be gained by theorem proofs (as in
> > into the app?
> Some customers require very high level of assurance that there are no
> bugs in the code you ship to them. Theorem proving is one great way to
> make those assurances.
> -- Don
> In fact, it's the subject of a talk on Tuesday,
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe