3 ms·
The point of category theory is composing morphisms! Functions are morphisms in the Set category. Haskell has something which looks very similar to category the
by klodolph 6y ago
The point of category theory is composing morphisms! Functions are morphisms in the Set category. Haskell has something which looks very similar to category theory, but the functions and types in Haskell do not form a category. I would call it “category theory inspired”.
- linkdd 6y agoThank you for the clarification. But still, since it's all about composition, the simplicity is a direct consequence IMHO.