Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Another one is a free monoid. With pair of forgetful/free monoid functors. It sounds a bit mathematical but for type T free monoid is a List<T> in a programming language with generics.


But why do you need category theory to understand lists and monoids? They're so basic and elementary.


You don't. You don't need category theory to understand, you need it to unify your understanding.

P.S. I don't believe programmers need to know category theory. However, it's beautiful by itself like many art.




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

Search: