为什么一些新的编程语言都有var

Question

一些比较新的编程语言为什么几乎都有var关键字，并且把类型写在变量后面，例如：

var x int = 12345
var y: Int = 67890

我知道这样可以实现类型推断，以上可以写成这样：

var x = 12345
var y = 67890

这样编译器把x当作int类型，但是，没有var就不能做到吗？如下面这样不是更容易读吗：

int x = 123
int y = 456
// 自动类型推断:
x = 123
y = 456

没有了var，编译器就做不到把x = 123语句中的x识别为int类型吗？
还请大佬解惑。

Answer 1

我只是一个半吊子技术，个人觉得应该是开新变量申请内存，你说的去掉var用类型来表示新变量好像也行哦，语法

Answer 2

可以啊 python就不用..

Answer 3

先说结论：没有var，编译器/解释器当然也可以进行类型推断。
其次var/const我个人理解是类似于语法糖，毕竟对于弱类型（如JS）来说var let const关键字也是ES5，ES6才进入标准的。