4 ms·
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
by K0nserv 2y ago
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 2y agoComments should describe what the type system can't. Connect, pitfalls, workarounds for bugs in other code, etc.