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.)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
