[Haskell-cafe] Haskell and the Software design process

[Sebastian Fischer]

On May 3, 2010, at 6:35 AM, Alexander Dunlap wrote:

> Of course, there are situations where it is really awkward to not use
> partial functions, basically because you *know* that an invariant is
> satisfied

That falls under Don's: "Use types to encode the design into a machine  
checkable form"

Or as Yaron Minsky put it: "Make illegal states unrepresentable"

When you do this, your functions don't need to be partial, if you know  
that it doesn't matter.

Sebastian

-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)