I'm a little confused about this too. I've seen many functions defined like:
f x = (\s -> ...)
which is a partial function because it returns a function and is the same as:
f x s = ...
Off the top of my head the State monad makes extensive use if this
style. Is this bad?
On 5/2/10, Bradford Larsen <brad.larsen@xxxxxxxxx> wrote:
> On Sun, May 2, 2010 at 9:18 PM, Edgar Z. Alvarenga <edgar@xxxxxxxxxx> wrote:
>> On Sun, 02/May/2010 at 13:10 -0700, Don Stewart wrote:
>>> * Avoid partial functions
> Ever place you use a partial function, you need to verify that its
> usage is in fact safe. Otherwise, you risk pattern match failures,
> undefined, nontermination, and other types of nasties.
> If you can structure your code so none of your functions are partial,
> verification that their usage is safe is a whole lot easier. :-)
> Haskell-Cafe mailing list
Haskell-Cafe mailing list