甲壳虫|python到底是强类型语言，仍是弱类型语言？( 二 )
为什么这些大佬们会有搅浑呢？
实在原因也很简朴 ， 那就是在当时还没有明确的消息类型与强弱类型的概念之分！或者说 ， 那时候的强弱类型指的就是消息类型 。
维基百科上给出了 1970 年代对强类型的定义 ， 基本可以还原成前文提到的静态类型：
In 1974, Liskov and Zilles defined a strongly-typed language as one in which "whenever an object is passed from a calling function to a called function, its type must be compatible with the type declared in the called function."[3] In 1977, Jackson wrote, "In a strongly typed language each data area will have a distinct type and each process will state its communication requirements in terms of these types."[4]
前面几位编程语言之父应该就是持有类似的观念 。
不外 ， 大佬们也意识到了当时的“强弱类型”概念并不充分正确 ， 所以 Dennis Ritchie 才会说成“强类型但是弱检查” ， 而且在访谈中 ， Guido 也特别强调了 Python 不应该被称为弱类型 ， 而应该说是运行时类型（runtime typing） 。
但是在那个早期年代 ， 基本上强弱类型就等同于消息类型 ， 而这样的设法至今仍在影响着许多人 。
3、现在的强弱类型概念
早期对于编程语言的分类实在是混杂了消息与强弱两个维度 ， 但是 ， 它们并不是一一对应重合的关系 ， 并不足以表达编程语言间的区别 ， 因此就需要有更为明确/丰硕的定义 。
有人提出了“type safety”、“memory safety”等区分维度 ， 也泛起了静态检查类型和动态检查类型 ， 与强弱类型存在一定的交集 。
直到泛起 2004 年的一篇集大成的学术论文《Type Systems》（出自微软研究院 ， 作者 Luca Cardelli） ， 专门研究编程语言的不同类型系统：
本文插图
论文中对于强弱检查（也即强弱类型）有一个简短的归纳如下：
Strongly checked language: A language where no forbidden errors can occur at run time (depending on the definition of forbidden error).Weakly checked language: A language that is statically checked but provides no clear guarantee of absence of execution errors.其枢纽则是程序对于 untrapped errors 的检查强度 ， 在某些实际已犯错的地方 ， 弱类型程序并不作捕捉处理 ， 例如 C 语言的一些指针计算和转换 ， 而《C 程序员十诫》的前几个都是弱类型导致的题目 。
本文插图
论文对于这些概念的定义仍是比较抽象的 ， 因为未捕捉的错误（untrapped errors）大多是因为隐式类型转换所致 ， 所以又演化出了第一节中的定义 ， 以隐式类型转换作为判定尺度 。
如今将“对隐式类型转换的容忍度”作为强弱类型的分类尺度 ， 已经是许多人的共鸣（固然不够全面 ， 而且有一些不同的声音） 。
例如 ， 维基百科就把隐式类型转换作为弱类型的主要特点之一：
A weakly typed language has looser typing rules and may produce unpredictable results or may perform implicit type conversion at runtime.
例如 ， 以 Python 为例 ， 社区的主流看法以为它是强类型语言 ， 而判定的尺度也是看隐式类型转换 。
例子有许多 ， 好比 Python 官方的 wiki ， 它专门回答了Why is Python a dynamic language and also a strongly typed language， 给出了 4 个谜底 ， 为 Python 的“动态强类型”定性：
推荐阅读
- 献血到底有益健康吗？
- 南极|臭氧空洞问题卷土重来，达到年度最大范围，南极到底怎么了？
- 到底去美国留学有没有用？不黑不吹，用事实说话
- 甲壳虫|原以为办辅导班的人很挣钱, 了解以后发现他们真心不轻易
- 每天一首音乐|「夜读」那些又忙又自律的人，活得到底有多赚？
- 美帝选票到底啥样？来看看中文版美国选票
- 炒黄金， 你到底是在投资，还是投机？
- 学习苹果好榜样：30%的“谷歌税”到底合不合理？
- 如松：来自欧亚大陆中央的烽火，他们到底是谁
- 女主临朝则武德不振？到底是性别偏见还是制度使然