这两个定义中的哪一个是正确的？
根据这个定义，静态或动态类型不依赖于编译或解释语言。
哪个是正确的，或者两者都不对？
答案 0 :(得分：4)
哪个是正确的，或者两者都不对？
第一对定义更接近但不太正确。
静态类型 - 在编译时检查类型匹配（因此只能应用于编译语言）
这很棘手。我认为如果一种语言被解释但是在执行开始之前进行了类型检查，那么它仍然是静态类型的。 OCaml REPL几乎就是这样的一个例子，除了它在技术上将源代码编译（和类型检查）到它自己的字节代码然后解释字节代码。
动态键入 - 在运行时检查类型匹配，或者根本不检查。
相反：
动态键入 - 类型检查在运行时完成。
无法输入 - 未完成类型检查。
静态类型 - 将类型分配给变量，因此我会说'x的类型为int'。
动态类型 - 将类型分配给值（如果有的话），这样我就会说'x持有一个int'
变量无关紧要。虽然您只在变量和函数定义的许多静态类型语言的源代码中明确地看到类型，但所有子表达式都具有静态类型。例如，"foo" + 3通常是静态类型错误，因为您无法将字符串添加到int，但不涉及变量。
答案 1 :(得分：2)
查看 static 一词的一个有用方法是：静态属性是指在所有可能的输入上保存程序的所有可能执行的属性。然后，您可以查看任何给定的语言或类型系统，并考虑它可以验证哪些静态属性，例如：
JavaScript：没有段错误/内存错误
Java / C＃/ F＃：如果编译的程序和变量的类型为T，则变量只保存此类型的值 - 在所有执行中。但遗憾的是，引用类型也承认null为值billion dollar mistake。
ML没有null，使上述保证更强
Haskell可以验证有关副作用的陈述，例如“此程序不会在stdout上打印任何内容”等属性
Coq还验证终止 - “此程序终止于所有输入”
您想要验证多少，这取决于品味和手头的问题。所有魔法（验证）都是有代价的。
如果您以前从未见过ML，请尝试一下。至少给Yaron Minsky的talk注意5分钟。它可以改变你作为程序员的生活。
答案 2 :(得分：1)
第二个是我眼中更好的定义，假设你没有寻找关于为什么或如何运作的解释。
再好一点就是说
答案 3 :(得分：0)
我喜欢后者的定义。在从基类转换为面向对象语言（如Java或C ++）中的派生类时，请考虑类型检查，该类型适合第二个定义而不是第一个定义。它是一种带有（可选）动态类型检查的编译语言。