Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


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: