Yeah. It’s the idea that “if it compiles, it works” but “works” does not mean it works *right*. I think that’s what people get tripped up on
This Tweet was deleted by the Tweet author. Learn more
Conversation
And it could make less charitable folks more suspicious if one is not careful with the messaging. There are more powerful type systems that can help you make more invalid states unrepresentable, but they come with greater language complexity, and even they aren't perfect.