> There's a follow-up article by the same author (that I unfortunately can't find), in which she explains this point. I think this is it: https://lexi-lambda.g

> There's a follow-up article by the same author (that I unfortunately can't find), in which she explains this point. I think this is it: https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-...