Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
init1
4 months ago
|
parent
|
context
|
favorite
| on:
Designing type inference for high quality type err...
All these years and Ada is still the undisputed and unmatched master of type safety.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
