Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
codebje
66 days ago
|
parent
|
context
|
favorite
| on:
Dependent types and how to get rid of them
Perhaps you only need the clarity because the rules for what's acceptable at comptime are not the same as the rules for what's acceptable at runtime.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: