В чем отличие между статической/динамической типизацией и явной/неявной? если идти по определениям, то явная типизация это, когда мы явно задаем тип переменной при ее иницализации, и неявная это соотвественно var, let и тд. Далее статическая типизация, это когда типы переменных определяются на этапе компиляции, а динамическая в райнтайме. Скажите как по мне, это одинаковые штуки, если явно задаем тип, это и есть статическая типизация, если неявная это let, var и уже интепретатор сам определяет тип переменной по ходу выполнения. И бывает ли явная динамическая и неявная статическая?

Предыдущий
вопрос Следующий
вопрос

Да, вы правы, в общем случае статическая типизация и явная типизация можно рассматривать как синонимы, так же как и динамическая типизация и неявная типизация. Однако стоит учесть, что используемые языки программирования могут иметь некоторые отличия в терминологии.

Что касается вашего вопроса о возможности комбинации явной динамической и неявной статической типизации, такие случаи действительно возможны. Например, в языке программирования Go переменные объявляются с использованием ключевого слова "var", что является неявным способом задания типа, однако компилятор Go использует статическую типизацию. Таким образом, можно сказать, что в Go используется неявная статическая типизация.