如果 python 突然变成 静态类型的 语言？

[quxw]

在看 type hint ，引发一个脑洞 如果 python 突然变成 静态类型的 语言，会变快吗？ 语法简洁的特点会消失吗？ 或者其他？

[ethego]

https://github.com/python/mypy

[changshu]

Cython 欢迎你.

[quxw]

@ethego 我看了一下，这个好像只是个检查，底层还是标准的 python

[zhuangzhuang1988]

会快, 起码,开发效率会变高..
妈妈再也不怕我传错参数了, 参数类型了..

[eriale]

python 3.5 支持 type hint ， Pycharm 已经支持了，如果你把参数类型写清楚， pycharm 可以准确找到类型，补全跟 java 一样准确： https://www.jetbrains.com/help/pycharm/2016.1/type-hinting-in-pycharm.html
我个人感觉 type hint 鸡肋，加上了类型信息，只提高了补全精度，感觉不划算。

[yangtukun1412]

Cython+1

[linescape]

你说的不就是 go 么

[clino]

cython +1 楼主可以试试

[noli]

如果我说， python 其实一直都是静态类型的，想知道有多少人会反对。

[raysonx]

@noli 来反对你了：
https://wiki.python.org/moin/Why%20is%20Python%20a%20dynamic%20language%20and%20also%20a%20strongly%20typed%20language

[ethego]

@noli 要么你混淆了静态类型和强类型，要么你完全不懂静态类型的概念， python 的类型要在运行时才能确定，怎么可能是静态类型？

[noli]

@raysonx python 是强类型的然后类型是动态绑定的，这个好像大家都没有异议。莫非楼主说的静态类型说的就是动态类型绑定的相对概念？

[ethego]

@noli 静态类型只有一种理解。

[reus]

怎么变？怎么在编译时确定所有值的类型而不对语言大改大砍？
这只能叫，设计一个新语言，并起名叫 python 而已。

[wizardforcel]

我一直把它当成静态类型写的。。。

给类型推断的话稍微改改就能通过了。

[roychan]

CPython 不是个 Python 实现么？跟语言本身的性质有什么关系…

[roychan]

看错了，请无视我= =

[larme]

http://nim-lang.org

[harry890829]

那个……我问下，静态语言不是必须经过编译成二进制文件才能运行么？这不是最大的区别？

[SlipStupig]

@harry890829 如果用了 JIT 这种技术，算静态还是动态呢？