[Haskell] Types of when and unless in Control.Monad

Andreas Abel andreas.abel at ifi.lmu.de
Wed Jun 6 18:22:19 CEST 2012


On 06.06.2012 16:29, Peter Simons wrote:
> Henning Thielemann wrote:
>
>   >  The type of 'when' is not arbitrarily restrictive. It makes sure,
>   >  that no monadic result is ignored by accident.
>
> I completely agree with this point. If 'when' had a more relaxed type
> signature, then the combinator would be slightly more convenient to use,
> but it would also be more dangerous to use. Personally, I prefer to err
> on the side of caution. Besides, it's not my impression that 'when' is
> particularly inconvenient to use as it is now, especially since the
> introduction of 'void'.
>
> Just my 2 cents.

That seems to be the opinion of the majority of those who have answered 
to my proposal.  Which shall henceforth be considered

   void.

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/



More information about the Libraries mailing list