Действительно, не такой уж он новый. Паскаль уже вспомнили, вот добавлю еще:
https://en.wikipedia.org/wiki/Standard_ML
Синтаксис
переменная : тип стал популярнее потому, что стали популярнее языки НЕ из семейства Си (C/C++/C#/Java), в которых отличается не только семантика, но и синтаксис.
Кстати, я не уверен даже, какой синтаксис появился раньше)
