search

hemanth / functional-programming-jargon

Jargon from the functional programming world in simple terms!
http://git.io/fp-jargons
MIT License
18.58k stars 1.02k forks source link

Endofunctors & Bind #56

Open MichaelCombs28 opened 8 years ago

MichaelCombs28 commented 8 years ago

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

jethrolarson commented 8 years ago

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

jethrolarson commented 8 years ago

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

MichaelCombs28 commented 8 years ago

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 commented 8 years ago

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