On 12 April 2010 10:39, Mark Snyder <[email protected]> wrote: > I'm wondering what the correct terminology is for the extra functions > that we define with monads. For instance, State has get and put, Reader has > ask and local, etc. Is there a good name for these? I've been calling them > the "non-proper morphisms" (as opposed to the "proper" morphisms unit/return > and bind). But I don't know if others call them that. Is there any > accepted phrase for them?
I don't know about "accepted" but I've seen them called "effect basis" in the Unimo paper by Chuan-kai Lin: http://web.cecs.pdx.edu/~cklin/papers/unimo-icfp06.pdf For example he says: "The effect basis of the state monad consists of two computations: get, which retrieves the current state, and put s, which changes the current state to s." Cheers, Bernie. _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
