[Haskell-cafe] Type System vs Test Driven Development

Gregory Crosswhite gcross at phys.washington.edu
Wed Jan 12 14:34:51 CET 2011

On 1/12/11 5:05 AM, Ketil Malde wrote:
> Of course, ideally you should design your types so that all possible
> values are meaningful:-)

Sadly we cannot all program in Agda.  :-)


More information about the Haskell-Cafe mailing list