> just hack away until it works, and fix it if it ever crashes. This also makes collaboration really hard. Types are a form of documentation. But unlike commen

> just hack away until it works, and fix it if it ever crashes. This also makes collaboration really hard. Types are a form of documentation. But unlike comments, types are enforced by the compiler. Invariably, lots of comments in a codebase are wrong. Many of those probably started out correct but the code changed and the comment didn't.