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

[quxw]

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

[ethego]

@noli 我说过了，你混淆了值类型和静态类型的概念

[noli]

@ethego 你从哪里判断我混淆了？因为我问有多少人反对 python 是静态类型？

[ethego]

@noli 嘴硬，如果你没有混淆，那你 25 楼给出的程序和本贴有关吗？

[bdbai]

@franklinyu 反射这个例子确实举得不好。 DLR 这一点可以吧。

[noli]

@ethego 的确无关，所以我问你这叫什么类型。

[franklinyu]

@ethego 但是我还是比较喜欢像 C++ 那样，让我能够指定使用 value type 还是 reference type 。（中文是叫「值类型」和「引用类型」么？）有一部分性能问题可以用 C++11 的 move semantics 解决，剩下的我会显式指定成引用 /指针。

[franklinyu]

@bdbai {{44L}}:我不了解微软的「动态语言运行时（ Dynamic Language Runtime ）」，仅仅对 Objective-C 的运行时原理略知一二。你认为，「运行时」的存在会影响这个语言的「动态 /静态类型」的属性；我猜测，是因为我们可以往现有的类里面增加特性？如果是这样，那我认为「可以在变量被定义以后修改变量的 attribute 」并不会让这个语言变成动态类型语言。

[quxw]


[quxw]


[quxw]

https://raw.githubusercontent.com/quxiaowei/7788/master/IMG_0895.JPG

[quxw]

https://raw.githubusercontent.com/quxiaowei/7788/master/IMG_0895.jpg

[ethego]

@franklinyu 最后你还是会发现你绝大多数时候都在用指针，毕竟引用类型没有什么明显的问题，值类型就不一样了，在用值类型的时候你必须清楚地知道你在干啥

[ethego]

@franklinyu 在 java 中，值类型仅被用于一种优化： inline （内联）。任何时候对引用类型的需求都更高，那为什么不默认引用类型？

[franklinyu]

@ethego {{52L}}:「引用类型没有什么明显的问题，值类型就不一样了，在用值类型的时候你必须清楚地知道你在干啥」這個我覺得見仁見智吧，我一般都用值類型，很少建立指針。就算偶爾建立指針，用的也是 smart pointer 。

[franklinyu]

樓上的 @quxw 是網卡了麼

[franklinyu]

Guido 說得挺對的，所以 C++11 加入了 auto