-----BEGIN PGP SIGNED MESSAGE----- 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] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkyJM1EACgkQIn7hlCsL25VpRwCeNPcG9JVvLBqpCXCKynA4zwDe 5gIAnioNUIytSOxLiNqGv8wryOvBxWY3 =w2i0 -----END PGP SIGNATURE----- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe