[Haskell-cafe] ANNOUNCE: AbortT-transformers version 1.0

Brandon S Allbery KF8NH allbery at ece.cmu.edu
Thu Sep 9 15:19:45 EDT 2010

Hash: SHA1

On 9/8/10 18:43 , Henning Thielemann wrote:
> On Wed, 8 Sep 2010, Gregory Crosswhite wrote:
>> ExceptionT is a different matter because it handles "fail" as an
>> uncaught error and places no restrictions on the error type, so one
>> could implement the same functionality as AbortT by using ExceptionalT
>> and requiring the end result be a monadic value of type "ExceptionalT e
>> m e", where the exception and result types are the same.  However, I
> If we get rid of the notion of an exception as being something bad, and
> instead consider an exception as being early exit for whatever reason, I see
> no problem. E.g. you may well use an exception to terminate a successful
> search, returning the search result as exception value.

But that's not an *exception*.  It's probably best referred to as a "signal"
(of the Qt/Gtk+ variety, not the Unix one).

- -- 
brandon s. allbery     [linux,solaris,freebsd,perl]      allbery at kf8nh.com
system administrator  [openafs,heimdal,too many hats]  allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university      KF8NH
Version: GnuPG v2.0.10 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/


More information about the Haskell-Cafe mailing list