Wow, 1973. 50 years ago. A professional lifetime. Hoare got so close. He found the problem, and in hindsight solving it using a type system to enforce share

Wow, 1973. 50 years ago. A professional lifetime. Hoare got so close. He found the problem, and in hindsight solving it using a type system to enforce shared xor mutability seems like a small step. Had he figured out that small step back was the solution back then he would have saved us 50 years of enormous amounts of pain.