I think there's a false distinction between static/dynamic types. As if all static type checkers offered the same benefit. IMO writing a type annotation, or kn

I think there's a false distinction between static/dynamic types. As if all static type checkers offered the same benefit. IMO writing a type annotation, or knowing whether a type is an int or a string, is the of minimal help in pushing errors into the type system. A good type system you don't even have to write the type of things, it's inferred. Better 'statically typed' languages allow you to push more errors into the type system and give you tools for creating stronger abstractions.