haskell-cafe@haskell.org
[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
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@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell-cafe

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