[科普]So what is “strong typing”?

JJexCheng发布于 11 年前最后回复 11 年前

346290

想必很多人都搞不清楚强类型、弱类型、静态类型、动态类型这些概念，网上很多博客的说法都不太准确。下面的图表清楚地划分了这些概念，从图上看，静态类型、动态类型大家应该明白其实是指的type sound check发生的时机。而强类型、弱类型到底是什么意思呢？其实这些词语本身概念就是模糊不清的，反正我是能避免使用就尽量避免使用。《Programming Language：Application and Interpretation》

So what is “strong typing”? This appears to be a meaningless phrase, and people often use it in a non- sensical fashion. To some it seems to mean “The language has a type checker”. To others it means “The language is sound” (that is, the type checker and run-time system are related). To most, it seems to just mean, “A language like Pascal, C or Java, related in a way I can’t quite make precise”. If someone uses this phrase, be sure to ask them to define it for you. (For amusement, watch them squirm.)

查看回复

alsotang#111 年前

搜到知乎一篇文章，补充过来：http://www.zhihu.com/question/19918532

JexCheng#211 年前

引用 alsotang搜到知乎一篇文章，补充过来：http://www.zhihu.com/question/19918532

@alsotang 我觉得他的区分还是不够简明易懂，而且我看到这种定义已经让评论里的一些人产生了误解，比如：

如果在编译时拒绝ill behaved程序，则是statically typed;
如果一种语言的所有程序都是well behaved，则该语言为strongly typed。

有人推理认为，所有statically typed都一定是strongly typed，或者weakly typed不可能是statically typed，因为它可能出现forbidden behaviors。

这里的问题在于：在编译时拒绝（不是全部）ill behaved是编译器的行为，并不是说：ill behaved程序不属于该程序语言子集，不是概念上的定义。所以这种定义还是不易理解，事实上可以这么说，并不存在statically typed，只有statically checked，因为它不是语言固有属性，而是编译期的行为，搞清这点就不会产生误解了。

可能仍然还是有人会产生一些误解，比如说statically typed不是语言固有属性，那C\C++、Java的类型声明又怎么解释呢？那叫“Explicitly Typed”，类型是语言语法的一部分，但是静态检查还是运行期检查还是根本不检查，那就是编译器的行为了，比如PHP有Type Hint，看上去就像Explicitly Typed，但它是运行到那行代码才检查，仍然不是statically checked。

PS： CNodeJS 提交时太卡了，我提交一次要等近一分钟才返回

JexCheng#311 年前

@alsotang 上传文件有时timeout，有时502。打开帖子有时也是“Can not get /topic/xxxx/”，应该是服务器太忙了

参与回复

登录后即可参与回复。登录

[科普]So what is “strong typing”?

回复 (3)

参与回复