4 ms·
Indeed; Haskell is purely functional, and Category Theory is nothing but a purely functional language of mathematics.
by Koshkin 2y ago
Indeed; Haskell is purely functional, and Category Theory is nothing but a purely functional language of mathematics.
- epgui 2y agoCategory 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.