Orchid XP v8 wrote:

> Whilst Haskell does have an assert() function, it seems to be more 
> popular to use QuickCheck.

Of course, the *other* thing that's popular is constructing software in 
such a way that it cannot malfunction in the first place. (E.g., if 
negative numbers aren't allowed, use unsigned integers. Now you don't 
have to check whether the input is negative, because it can never *be* 
negative.) Obviously, there are limits to how well this approach works...

-- 
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*

Post a reply to this message