On 12 April 2010 10:39, Mark Snyder 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 mor
I think these names are specific to each data type (which happens to be
a monad) so unless they generalise, then they are not deserving of any
special terminology than any other functions.
While State and Reader are both Monads, they are also many other things
such as Functor and Applicative (and
Hello,
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" morph
