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
That falls under Don's: "Use types to encode the design into a machine
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.
Underestimating the novelty of the future is a time-honored tradition.
Haskell-Cafe mailing list