zlacker

What is implicit about either feature, and what difference do they make from the IDE perspective assuming equivalent type annotations in both languages?

>>int_19+(OP)
"Assuming equivalent type annotations" is the problem. Can't do it with Python, full stop. If we could, we wouldn't be having this conversation at all! It can't catch any mistakes because its type system is simply not expressive enough. You have to hold the type information in your head and make sure you slice and multiply correctly.