Proposal to solve the `EitherT` problem.

Henning Thielemann 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 mailing list