Proposal to solve the `EitherT` problem.
schlepptop at henning-thielemann.de
Wed Aug 14 11:22:22 CEST 2013
Am 14.08.2013 09:42, schrieb Daniel Trstenjak:
> On Tue, Aug 13, 2013 at 06:57:22PM -0400, Edward A Kmett wrote:
>> I look forward to finding out the new name for MaybeT then. ;)
> That's a bit unfair, because the Maybe data type has a clear meaning
> which also holds for its Monad instance.
> That's not the case for Either. The Either data type doesn't propose
> a special meaning to the 'Left' or 'Right' case, but the Monad
> instance of Either does.
> Isn't just having a discussion about such a contradiction at the end
> the reason why Haskell is the language it is?
I also think that Maybe so far is consistently used for exception
handling without exception information. Thus I am fine with MaybeT.
More information about the Libraries