Maybe and [] have still the same meaning: they can be seen as functions: - they represent the result(s) that might or might not have a computation - *they have to be called/ran/executed* (wichever term you prefer) through Data.Maybe.maybe or Data.List.foldX, so that we can extract some value out of them. It's just that their input is () (void). But in Haskell, the type: () -> Maybe a is useless, Maybe a is sufficient.
Maybe in that case "procedure" is then a better term than function. 2011/12/31 Jerzy Karczmarczuk <jerzy.karczmarc...@unicaen.fr> > Yves Parès : > > all standard Monads are newtypes wrapping functions >> > What about Maybe and [] ? > > Jerzy Karczmarczuk > > > ______________________________**_________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
