[email protected]
[Top] [All Lists]

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

Subject: Re: [Haskell-cafe] Haskell and the Software design process
From: Sebastian Fischer
Date: Mon, 3 May 2010 07:53:50 +0200

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


Underestimating the novelty of the future is a time-honored tradition.

Haskell-Cafe mailing list
[email protected]

<Prev in Thread] Current Thread [Next in Thread>