[K0nserv]

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]

Comments should describe what the type system can't. Connect, pitfalls, workarounds for bugs in other code, etc.