В чем отличие между статической/динамической типизацией и явной/неявной?

Question

[Максим Ахмеров]

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

Answer 1

[Ocelot]

https://habr.com/en/post/161205/