Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
casey2
8 months ago
|
parent
|
context
|
favorite
| on:
Category Theory in Programming
What's the application of languages with strong type systems?
Some people do the work of learning category theory and still decide in the end to write lint.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Some people do the work of learning category theory and still decide in the end to write lint.