> That sounds a lot like "type validation" to me, whereas the title of the article includes "Don't Validate"

The variable name version does, sure. That's why OP said:

> The suggestion in this post is taking Apps Hungarian, and instead of relying on variable names, encoding it into the type system itself.

Making it clear that their example is different from what the article suggests.