I’ll add: analyzing a codebase in a programming language that isn’t type safe and in which the people who made the code base have intentionally overloaded the types all over the place is much much harder than analyzing type safe stuff. This directly happens in language as well.
I’ll add: analyzing a codebase in a programming language that isn’t type safe and in which the people who made the code base have intentionally overloaded the types all over the place is much much harder than analyzing type safe stuff. This directly happens in language as well.