The memory safety problem isn’t bad coders

Article note: I know reading HN comments is brain poison, but starred for the (repost from David van Geest's twitter https://twitter.com/DWvanGeest/status/1092095822559358976) comment: In general, in favor of as many correctness and other checks at compile time as possible. Make tools as powerful as possible. I really liked this tweet: "What if... - your programming language required you to write useful docs, - using those docs, it checked your program for mistakes, - it even used the docs to speed up your program, - this feature already exists! And what if it was called static typing."