А как связаны автодополнение и статическая типизация? В DevTools и IDLE тоже автодополнение методов через точку работает, хотя в JS и Python никакой типизации нет.
Вопрос в доступной информации. Например, в DevTools есть объект в рантайме, и конечно, DevTools про него знает абсолютно всё. Или типы можно выводить. Но при статической типизации такой информации обычно больше. Например, один раз работал с кодом на JS, в котором было много функций типа payload => ... . Конечно, в теле такой функции автодополнение не работает. И это полбеды, потому что я сам, так же как алгоритм автодополнения, не имел возможности понять, что это за payload в каждом конкретном случае.