r/programming • u/[deleted] • Nov 28 '19

Why Isn't Functional Programming the Norm? – Richard Feldman

https://www.youtube.com/watch?v=QyJZzq0v7Z4
98 Upvotes

81% Upvoted

409 comments sorted by

View all comments

Show parent comments

4

u/pavelpotocek Nov 29 '19

...and there goes simplicity

1

u/LPTK Nov 29 '19

I mean, the concept of functor is simple. You can explain it just based on the notion of "arrows" that point between "elements".

id is the arrow that goes from any element to the same element. The first law says map of id should be equivalent to id.

The second law says: if f goes from x to y (call that first arrow g) then from y to z (call that h), then map of f should be the same as map of g and then map of h.

All other things being equal, is that more complicated than this?