Hacker News new | past | comments | ask | show | jobs | submit login

Well, monads in programming are modeled on category-theoretic monads, so you do know a bit.

Monads, functors, arrows, etc are just patterns that show up a lot in functional programming that also happen to have analogues in category theory. This isn't too surprising, because category theory basically started from mathematicians trying to formalize common patterns in disparate areas of math. Categories pop up all over the place in math, and math of course is the main abstraction that we formally model just about anything in reality.

Given how ubiquitous they are, I think it's worth it to have a working, informal knowledge of category theory. It doesn't take serious time or study to do that.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: