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.
Yves Parès :What about Maybe and [] ?
all standard Monads are newtypes wrapping functions
Jerzy Karczmarczuk
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe