Not in my experience. Language engines are good enough to help most of the time,
And typed or untyped, you’re only ever reasoning about the types in the context you’re working in, not the entire program.
And typed or untyped, you’re only ever reasoning about the types in the context you’re working in, not the entire program.
A Python function can be called from within or from outside of your codebase with different callsites passing different types.