4 ms·

Haskell is why it's relevant =D

• lapinot 5y ago
  For haskell programmers most likely! Just like there's only the obvious way in which groups are useful for speed cubers.
• mbrodersen 5y ago
  Not at all. I am an experienced Haskell developer and have had zero usage for Category Theory in my work. I have read and understood Category Theory because it’s fun to learn new abstract math. But I learned a lot more from learning Coq/Lean/Idris.