弱类型或强类型语言

Question

如果程序没有完全静态编译则是 弱类型或强类型

Answer 1

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

---

现在我想到了，我不能想到一种解释性的语言，即 不是强类型，但这并不意味着有任何连接。

---

想到了一个。 Brainf * CK。它的解释并没有任何类型的概念。

Answer 2

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

看一看这个链接：

• Strongly Typed ?

而且，你不想错过由比尔讨论与弗兰克·索莫斯

• 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

“A语言是强，如果它包含编译时检查类型约束违规类型的。如果检查被推迟到运行时，它是弱类型的。”

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

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