functional-programming-jargon icon indicating copy to clipboard operation
functional-programming-jargon copied to clipboard

Published 20 hours ago • verified publisher icon hemanth

Endofunctors & Bind

Open MichaelCombs28 opened this issue 8 years ago • 4 comments

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

MichaelCombs28 avatar Jul 23 '16 21:07 MichaelCombs28

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 https://github.com/hemanth/functional-programming-jargon/issues/56, or mute the thread https://github.com/notifications/unsubscribe-auth/AAB-4DWyW5EhxkQ1FMdlokB09gUfGcm0ks5qYooCgaJpZM4JTcwI .

jethrolarson avatar Jul 23 '16 22:07 jethrolarson

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

jethrolarson avatar Jul 25 '16 09:07 jethrolarson

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.

MichaelCombs28 avatar Jul 25 '16 17:07 MichaelCombs28

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

jethrolarson avatar Jul 26 '16 00:07 jethrolarson