Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
joel_ms
on July 31, 2018
|
parent
|
context
|
favorite
| on:
If monads are the solution, what is the problem?
And yet MLTT led to Coq, Agda, Idris and Lean, while your ”PL practice” approach sounds like it would lead to, well, Go.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
