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

Indeed; Haskell is purely functional, and Category Theory is nothing but a purely functional language of mathematics.


Category theory is not “purely functional”, it is about morphisms, and morphisms are more abstract than functions.

Category theory envelopes relations as well, as well as arguably anything else that can be formalized.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: