Endofunctors & Bind

[MichaelCombs28]

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

[jethrolarson]

Pull requests are welcome :)

On Sat, Jul 23, 2016 at 2:39 PM Michael Combs notifications@github.com
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
.

[jethrolarson]

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

[MichaelCombs28]

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.

[jethrolarson]

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