[Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Sun Sep 14 01:59:53 EDT 2008


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 at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080914/6cc2d240/attachment.htm


More information about the Haskell-Cafe mailing list