3 ms·

Comments have the potential to get forgotten and become incorrect. Type annotations not.

• cxr 5y ago
  Corollary: we should invest in systems that allow us to mechanically verify correctness of comments as readily as type checkers do with type specifiers.