Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
K0nserv
on Dec 26, 2024
|
parent
|
context
|
favorite
| on:
Cognitive load is what matters
Comments are decent but flawed. Being a type proponent I think the best strategy is lifting business requirements into the type system, encoding the invariants in a way that the compiler can check.
larsrc
on Dec 26, 2024
[–]
Comments should describe what the type system can't. Connect, pitfalls, workarounds for bugs in other code, etc.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: