On 2007-08-14, Chaddaï Fouché <[EMAIL PROTECTED]> wrote: > 2007/8/14, Aaron Denney <[EMAIL PROTECTED]>: >> The problem with foldl is that you can't easily make it polymorphic >> because of how the null case is handled. foldl1 and foldr1 are trivial, >> true. >> > > The original "last" fail on empty list, it's far easier to obtain the > same semantic with foldl than with foldr, in fact it isn't hard at all > to make it polymorphic without hassle (contrary to the foldr case) > _if_ you remember that there _is_ a value in Haskell wich belongs to > every type.
Hah. True. That does simplify things considerably. Still, I'd call that an infelicity in last (and head, for that matter), and would rather have such errors handled at the call site than making the entire program fall over. -- Aaron Denney -><- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
