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

Category, Functor, Monad, Comonad, etc. should mention algebraic laws #215

Open MostAwesomeDude opened 2 years ago

MostAwesomeDude commented 2 years ago

For example, the algebraic laws for categories say that, for any arrow f. f;id == id;f == f. These laws are essential for functors and monads.

raegen commented 2 years ago

I consider myself somewhat literate when it comes to functional programming (it was love at first sight), so naturally (or not?), I went straight down to the monad definition, kind of hoping for a mind-blowingly simple (possibly wrong, but practical) description. Next I went to Issues to create one showing my disappointment but thinking I ought to keep it constructive. Imagine my dismay and complacency when I realized somebody has already done it. Moreover, yours have been (from what I saw), solely constructive. tldr. It's not an overstatement if I say I do not understand the aforementioned definitions.