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" morphisms unit/return and
bind). But I don't know if others call them that. Is there any accepted
phrase for them?
Thanks,
~Mark Snyder
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
