在阅读动态和静态类型的过程中，我不断提出这样的假设：静态类型语言是编译的，而动态类型的语言是解释的。我知道总的来说这是对的，但我对例外情况很感兴趣。
我真的希望有人不仅提供这些例外的一些示例，而且尝试解释为什么决定这些语言应该以这种方式工作。
【问题讨论】：
标签： programming-languages type-systems dynamic-typing static-typing
Java（一种静态类型语言）被编译为 JVM 字节码，该字节码在旧版本的 JVM 上进行解释，而现在它使用即时 (JIT) 编译，这意味着机器代码是在运行时生成的。我也相信 ML 及其方言可以被解释，而且 ML 肯定是静态类型的。
【讨论】：
这里列出了一些有趣的系统。这不是详尽的！
Gambit Scheme 编译器、Chez Scheme、Will Clinger 的 Larceny Scheme 编译器、Bigloo Scheme 编译器，可能还有许多其他编译器。
为什么？
很多人都非常喜欢 Scheme。程序作为数据，良好的宏观系统，35年的发展，大社区。但他们想要表现。因此，许多优秀的原生代码编译器——Chez Scheme 甚至是一个成功的商业产品（解释的字节码是免费的；你需要付费的原生代码）。
Lua 的 LuaJIT 即时编译器。
为什么？
为了表明它可以做到。然后，人们开始喜欢在他们的 Lua 程序上获得 3 倍的加速。 Lua 存在于很多游戏中，其中性能很重要，而且它也正在渗透到其他产品中。 Adobe Lightroom 中 70% 的代码是 Lua。
iconcIcon-to-C 编译器。
为什么？
使用它的五十个人喜欢图标。完全不寻常的评估模型，有史以来设计的最具创新性（在我看来，也是最好的）字符串处理系统。但这种评估模型非常昂贵，尤其是在 1980 年代后期的计算机上。通过将 Icon 编译为 C，Icon Project 使大型 Icon 程序可以在更短的时间内运行。
结论：人们首先开发了一种动态类型语言的附件，并且可能是一个重要的代码库。最终，社区推出了本机代码编译器，以便您获得更好的性能并解决更大的问题。
这个类别不太常见，但是...
Objective Caml。机器学习的方言，大量语言设计创新实验的载体。
为什么？
非常便携的系统和非常快的编译时间。人们都喜欢这两个属性，因此新的语言设计理念得到了广泛传播。
莫斯科 ML。标准 ML，具有模块系统的一些额外功能。
为什么？
便携，编译速度快，易于制作交互式读取/评估/打印循环。成为流行的教学编译器。
C-Terp。一个旧产品，我想可能来自 Gimpel Software。 Saber C——我认为你再也买不到了。
为什么？
调试。特别是在 MS-DOS 下调试 1980 年代的硬件。对于非常少的资源，您可以获得非常好的帮助在非常有限的硬件上调试 C 代码（想想：4.77MHz 处理器，8 位总线，640K RAM 满载）。几乎不可能为本地编译代码获得一个好的可视化调试器，但使用解释器，相当容易。
UCSD Pascal — 使“P 码”成为家喻户晓的词的系统。
为什么？
老师们喜欢 Niklaus Wirth 的语言设计，编译器可以在非常小型机器上运行。 Wirth 简洁的设计和 UCSD P 系统形成了无与伦比的组合，而 Pascal 是 1970 年代的标准教学语言。年轻人可能很难理解，在 1970 年代，没有关于在第一门课程中教授什么语言的争论。今天我知道使用 C、C++、Haskell、Java、ML 和 Scheme 的程序。在 1970 年代，它始终是 Pascal，而 UCSD P 系统是一个重要的原因。
如果您想知道，P 代表 portable。
总结：解释静态类型语言是让每个人快速实现实现的好方法。 （它还具有在青铜时代硬件上调试的优势。）
【讨论】：
Objective-C 已编译并支持动态类型（当然，当通过[target doSomething] 语法调用方法时）。也就是说，您可以向目标发送任何消息（使用普通语言语法，无需针对反射 API 进行编程），仅在编译时收到可能无法处理的警告，并且仅在运行时收到异常（如果目标未处理） ' 不响应该选择器（类似于方法签名）；你可以询问任何对象（如果你的代码不知道更好或不在乎，它们都可以是静态类型id）是否respondsToSelector: 来探测它的功能。
【讨论】：
Actionscript 具有动态类型并编译为字节码。
如果您想在 iPhone 上发布 Flash 应用程序，它甚至可以直接编译为本机机器代码。
【讨论】：
【讨论】：