弱类型语言是否又称无类型语言？类型系统术语定义及关系问询

咱们一个个把这些容易混淆的概念掰扯清楚，避免以后再搞混：

核心概念区分 #

弱类型 vs 无类型 vs 松散类型 #

• 首先明确：弱类型语言≠无类型语言，这俩完全不是一回事：
  • 无类型语言（untyped languages）：本质上没有“类型”这个概念，变量就是一块 raw 的内存，程序不会追踪它的类型属性。比如早期的汇编语言，或者像Brainfuck这种极简语言——你可以把任意字节序列当数字、字符串甚至指令用，完全没有类型约束。
  • 弱类型语言（weakly typed languages）：是有完整类型系统的，只是类型约束非常宽松，会自动进行隐式类型转换，哪怕这种转换可能违背你的预期。比如JavaScript里5 + "3"会自动把数字5转成字符串，得到"53"；PHP里10 + "abc"会把字符串强转成0，最终得到10——这些都是弱类型的典型表现。
• 至于“松散类型语言（loosely typed）”：这个术语经常和弱类型混用，很多开发者用它来指代弱类型语言，但也有部分场景用来描述动态类型语言（因为动态类型不需要提前声明类型，看起来“松散”）。不过严格来说，它更偏向弱类型的俗称，建议还是用标准术语“弱类型”来避免歧义。

静态/动态类型与强/弱类型的交叉 #

• 静态类型语言不可能是无类型语言：静态类型的核心是编译期就会严格检查变量的类型，要求类型明确可追溯，而无类型语言根本没有类型可检查，这俩是完全互斥的。
• 动态类型语言完全可以是强类型语言：动态类型只是说类型检查在运行时进行，而强类型指的是类型约束严格，不允许隐式的意外转换。比如Python是动态类型，但也是强类型——你试试在Python里执行1 + "2"，它会直接抛出TypeError，绝不会偷偷帮你转换类型；Ruby也是一样的道理。

强类型语言能不能简称“类型语言”？ #

绝对别这么干！“类型语言”这个说法太宽泛了——只要有类型系统的语言都能叫这个，不管是强/弱、静态/动态。强类型只是类型系统里的一个分支，简称的话会和其他类型的语言混淆，所以一定要明确说“强类型语言”，别偷懒省略。

针对你核心疑问的总结 #

弱类型语言和无类型语言的定义有本质差异，绝对不能通用：

• 无类型语言是根本没有类型概念，变量就是纯内存块；
• 弱类型语言有完整的类型系统，只是允许自由的隐式转换，类型约束比较松而已。

内容的提问来源于stack exchange，提问作者Jolly Good