Endofunctors & Bind about functional-programming-jargon HOT 4 OPEN

Pull requests are welcome :)

On Sat, Jul 23, 2016 at 2:39 PM Michael Combs [email protected]
wrote:

You should add an endo functor definition to better explain monadic binds.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#56, or mute
the thread
https://github.com/notifications/unsubscribe-auth/AAB-4DWyW5EhxkQ1FMdlokB09gUfGcm0ks5qYooCgaJpZM4JTcwI
.

from functional-programming-jargon.

Isn't the common definition of functor the same as endofunctor? What distinction are you hoping to make?

from functional-programming-jargon.

I guess it's not really applicable to programming since there is only the category of types. To me the distinction was an important one when I was learning Haskell.

from functional-programming-jargon.

We could add a note to Functor to say that it's actually an endofunctor but has become the defacto meaning of functor.

from functional-programming-jargon.