[Haskell-cafe] Formalisation for types of monads

Johannes Waldmann waldmann at imn.htwk-leipzig.de
Tue May 22 21:10:19 CEST 2012

Ertugrul Söylemez <es <at> ertes.de> writes:

>     Note about []:  Don't even mention foldl.  The folding combinator
>     for lists is foldr, period.  


I ignore  foldl  in teaching but it will appear
under the name of  IEnumerable<T>.Aggregate(z, f)  (from Linq).

Note, the Linq designers got the argument order right
(put the Nil case first, and the Cons case later).


More information about the Haskell-Cafe mailing list