The quote wasn't really about null - that's just the talk he was giving. It was about checked array indexing. I would also say there really is no comparison be

The quote wasn't really about null - that's just the talk he was giving. It was about checked array indexing. I would also say there really is no comparison between null, which escapes typechecking, and unwrap, which does not. But that's not my point, nor is it Hoare's. It's that we blame people for problems that are better solved by languages.