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