Re: [Haskell-beginners] testing and the culture of Haskell

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