Re: [Haskell-cafe] Haskell and the Software design process

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.)