Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
DarylZero
4y ago
0 comments
Save
Share
Haskell is why it's relevant =D
0 comments
2 comments · 2 top-level
top
newest
oldest
mbrodersen
4y 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.
lapinot
4y ago
For haskell programmers most likely! Just like there's only the obvious way in which groups are useful for speed cubers.
j
/
k
navigate · click thread line to collapse