王垠：我和Google的故事

noword2k

那么，这么牛B的东西，在哪里能用到呢？

我用过的最好的python IDE（没有之一）是Wing IDE，慢是慢了点，但是静态推导出来的tag，那是相当的靠谱。
还写了个注册器，感觉有点对不起作者啊。

KanonInD

回复 18# windoze


    s=eval(sys.readline())中的eval还是能写出类型的，是 eval :: String -> a，表示输入字符串得到任意类型a， 或者应该是 eval :: String -> IO a。
如果后面再跟一个 s = s + 1的话，那么任意类型a就成整数了。

windoze

回复 23# KanonInD


    “任意类型”不是“一个类型”，“s=s+1”也不能保证接下来s就是整形。

OwnWaterloo

noword2k 发表于 2012-08-15 11:16
那么，这么牛B的东西，在哪里能用到呢？

我用过的最好的python IDE（没有之一）是Wing IDE，慢是慢了点，但是静态推导出来的tag，那是相当的靠谱。
还写了个注册器，感觉有点对不起作者啊。

能静态推导出函数参数的类型么？

OwnWaterloo

KanonInD 发表于 2012-08-15 11:18
回复 18# windoze

    s=eval(sys.readline())中的eval还是能写出类型的，是 eval :: String -> a，表示输入字符串得到任意类型a， 或者应该是 eval :: String -> IO a。
如果后面再跟一个 s = s + 1的话，那么任意类型a就成整数了。

1. eval :: String -> a vs eval :: String -> IO a
似乎这样更符合尽量剥离出纯函数的原则

1. 
   
2. readline :: IO String
   
3. eval :: String -> a
   
4. eval `fmap` readline :: IO a -- eval(sys.readline())
   

复制代码

2. 无论是 String -> a 还是 String -> IO a，都与python的eval是不同的。

python的eval是eval函数自己决定返回类型。 而作为动态类型的python， 变量s可以接受任何类型。
而eval :: String -> a ， 函数自己不能决定返回类型。类型是由调用方决定的。

1. 
   
2. x <- (eval `fmap` readline)::Int -- 需要Int类型， eval将字符串按Int解析
   
3. y <- (eval `fmap` readline)::String -- 需要String类型， eva将字符串按String解析
   
4. s <- eval `fmap` readline -- 任意类型，意思是说此处没有任何约束，并不是指这里可以根据readline给出的不同输入产生不同类型。
   
5. let s' = s+1 -- 进一步约束s必须是Num。
   

复制代码

最极端的例子： print eval(sys.readline())。 python可以根据getline获取的不同输出，用eval产生不同类型的结果，并用print输出。
但Haskell不行，至少eval :: String -> IO a这样的签名是肯定不行的。



所以，其实我也没明白对动态类型语言进行类型推导究竟是想做什么。

OwnWaterloo

windoze 发表于 2012-08-15 13:34
回复 23# KanonInD
 “任意类型”不是“一个类型”，

一针见血。。。

eval :: String -> IO a 是任意类型，是对所有调用点说的。
但对某一个调用点，必须确定一个类型。

有点类似C语言的可变长参数。对所有调用点来说，它接受了不同个数的参数。
但对每一个调用点，参数个数必须是在编译时确定 —— 至少C层面只能做到这样。

KanonInD

windoze 发表于 2012-08-15 13:34
回复 23# KanonInD

如果任意类型不是类型，那C++的stl的容器该怎办呢？s=s+1不能保证s的类型是因为鸭子类型的原因吗？

KanonInD

OwnWaterloo 发表于 2012-08-15 17:37
能静态推导出函数参数的类型么？

能VS不能
能

1. a = new SomeClass()
   
2. 
   
3. def foo(a):
   
4.   doSomething
   

复制代码

不能

1. 
   
2. a = eval(sys.readline())
   
3. def foo(a):
   
4.   doSomething
   

复制代码

（怀疑）王垠在他的项目中修改了Python（的类型系统）。

windoze

KanonInD 发表于 2012-08-15 18:43
如果任意类型不是类型，那C++的stl的容器该怎办呢？s=s+1不能保证s的类型是因为鸭子类型的原因吗？

“类型”才是(等价于)“类型”，“任意类型”不是(等价于)“类型”，公孙龙几千年前就解释过了。
STL容器是“类型模板(class/type template)”，例如std::vector，实例化之后才是“类型(class/type)”，例如std::vector<int>。
似乎翻译过来的书大多将“类(型)模板”或者“函数模板”翻译成“模板类(型)”或者“模板函数”，所以这个地方的误解会比较多吧。

动态类型语言的本质就是说一个变量的类型是在运行时确定的，所以才叫“动态类型”，如Python、Ruby、JavaScript

C/C++是静态类型语言，在编译器生成目标代码时，类型必须是确定的，而这个类型在运行时是不可变的，所以才叫“静态类型”。

对动态类型语言做静态类型分析不是完全不可行，但是要延后到运行时才有意义，例如v8就会在运行时对于特定的对象进行类型分析之后做JIT，所以它才会比早期没有JIT的JS引擎快。

脱离开运行期的信息做静态类型分析，效果比ctags之类的正则表达式匹配分析好不了多少。

KanonInD

回复 30# windoze


    王垠在他的一篇博文 http://yinwang0.wordpress.com/2010/09/12/pysonar/ 中提到“PySonar parses the code into an AST and performs type inference on it”, AST 算运行期信息不？