Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Ralith
on Aug 14, 2012
|
parent
|
context
|
favorite
| on:
Thoughts on being a programmer
Dependently typed programming languages can do the "express all the invariants" bit. Readability is an open question, though.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
