[Haskell-beginners] testing and the culture of Haskell

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Wed Jan 20 19:50:24 EST 2010


On Jan 20, 2010, at 05:31 , Amy de Buitléir wrote:
> properties and writing tests. If I were going to develop a large
> application in Haskell, I'd try to honour the spirit of TDD by
> defining properties before implementing functions.

This is a lot like "programming by contract", btw.  (Just something to  
think about.)  It's also where you can best take advantage of static  
typing, by implementing the properties as types so the type system  
helps you guarantee correctness.

-- 
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 --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/beginners/attachments/20100120/33957d18/PGP.bin


More information about the Beginners mailing list