On 2008 Sep 14, at 1:24, Daryoush Mehrtash wrote:

What I am trying to figure out is that say on the code for the IRC bot that is show here

http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot/Source

What would theorem proofs do for me?

Assurance of correct operation; for example, a mathematically provable lack of security holes, assuming you can describe its proper operation in terms of suitable theorems (which, for a simple bot like that, is not so difficult).

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com

system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu

electrical and computer engineering, carnegie mellon university KF8NH