Re: Pattern Match Success Changes Types

[Fergus Henderson]

On 12-May-1998, Frank A. Christoph <[EMAIL PROTECTED]> wrote:
> 
> With regard to merging Either instances, I agree with Simon that for most
> programs this will not buy you much, but there are two common kinds of
> programs where one could expect a significant effect on performance, just
> because of sheer scale.  The first is any program which uses an
> error/exception monad on a program-wide scale.

Another common example, or perhaps an instance of your example, is parsers.
Parsers often use something similar to an error/exception monad for
propagating parse errors.

Parsing applications are very common, so it's probably worth optimizing
these cases.

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]        |     -- the last words of T. S. Garp.