弱类型或强类型语言

Question

如果一个程序没有完全静态编译，那就是它 弱类型或强类型

Answer 1

苹果和橘子。汇编语言程序是静态编译的，但您可以将任何变量用作字符，整数，浮点数的一部分或JPEG图像的一部分。打字与任何有关编译或解释的概念是分开的。

<小时/> 现在我想起来了，我无法想到不是强类型的解释语言，但这并不意味着有任何连接。

---

想到一个。 Brainf * CK。它被解释并且根本没有类型的概念。

Answer 2

如果语言包含类型约束违规的编译时检查，则强类型语言。如果检查延迟到运行时间，则它是弱类型的。

看一下这个链接：

• Strongly Typed ?

另外，你不想错过Bill Venners与Frank Sommers的讨论

• Strong versus Weak Typing

更好的阅读。

• What arguments are there in favor of weak typing?
• Difference between statically typed language and strongly typed language ?

Answer 3

不要将强类型和弱类型之间的区别与静态和动态类型之间的区别混淆。这些都与动态编译，动态链接，动态加载或动态调度无关。

像往常一样，Wikipedia offers a pretty good starting point.

Answer 4

“如果语言包含类型约束违规的编译时检查，则强类型语言。如果检查延迟到运行时，则输入为弱类型。”

不完全是。你在这里描述的内容与动态和静态类型之间的区别更为相关。

如果语言阻止对具有错误类型的参数的操作成功，则强类型语言。现在，这可能发生在编译类型或运行时。