Comment by masklinn

A companion piece to this idea (previously at Oleb’s “making illegal states unrepresentable: https://oleb.net/blog/2018/03/making-illegal-states-unrepres...) is “parse, don’t validate”: https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va...

A third piece / concept I often circle back to is a lot more subtle and difficult to grok: “Names are not type safety” (https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-...)