Redis меняет лицензию на несвободную

нетакусичного

какого?

можно ведь просто указать типа слева

Такой синтаксис сложился исторически. Кроме того, если тип указывать необязательно (в случае инициализации, когда тип становится понятен по объявлению), как в Kotlin, TypeScript, — это удобно. В Java и C++ для этого необходимо дополнительное ключевое слово.

вместо повторения одного и того же

Да вот в том же C++ двоеточие может обозначать метку, наследование, список инициализации или else-case тернарника.

Кроме того, если тип указывать необязательно (в случае инициализации, когда тип становится понятен по объявлению),

в любом оопэжном языке вы можете указателю на обьект базового класса присвоить адрес обьекта производного класса. то есть типы в корректном обьявлении могут не совпадать.

Могут не совпадать, тогда его нужно будет указать явно

Кроме того, если тип указывать необязательно (в случае инициализации, когда тип становится понятен по объявлению), как в Kotlin, TypeScript, — это удобно.

как это понятен если вам нужен определенный интерфейс? и почему удобно писать либо тайпкаст-не-тайпкаст либо одно и тоже не нужное ключевое слово? нет иногда вы не знаете выводимый тип и это может быть и в самом деле необходимо, но это отдельные случаи а в дурных языках одно и то же ключевое ставят всегда. В тс и жс еще дурачки везде используют бестолковый конст вместо лет.

в дурных языках одно и то же ключевое ставят всегда.

брежнев, астанавис!

вполне себе рядовая конструкция.

SomeType *pointer = new SomeType_InheritorClass();

причем тут кресты вообще?

кресты причем всегда!

бестолковый конст вместо лет

а в джаве final не ставят?

ставят для решения проблем многопоточности, но не повсеместно включая локальный контекст

final это запрет наследования и переопределения. про многопоточность это в жабе - синхронайззззд.

также файнал гарантирует атомарность инициализации когда ставится над полем, как синхронайзд, только работающий на ссылочных типах