a codebase that uses static typing _in the first place_ is a less flexible codebase. "Less flexible" != "Less correct" or even "less good". It's true that the

a codebase that uses static typing _in the first place_ is a less flexible codebase. "Less flexible" != "Less correct" or even "less good". It's true that these are subtly different concepts. It's arguable whether they are helpful distinctions for the long-term health of a codebase.