Functor => Pointed => Applicative => Monad

Malcolm Wallace malcolm.wallace at
Sat Dec 4 18:31:11 CET 2010

On 4 Dec 2010, at 06:25, wren ng thornton wrote:
> Well the paradigmatic (programming) examples of functors are all  
> container-like structures: sets, multisets, lists, trees,...

Really?  Just as monads are not (only) containers, I think it is a  
mistake to think of functors as (only) containers too.  There are many  
common paradigmatic examples of "active" functors as well: parsers,  
pretty-printers, database queries.


More information about the Libraries mailing list