Jon Skeet 发布了this blog post，其中他说他将要问为什么语言的动态部分如此出色。所以我想我会先发制人地代表他问：是什么让他们这么好？
【问题讨论】：
编程语言中两种根本不同的类型方法是静态类型和动态类型。它们支持非常不同的编程范式，并且各有优缺点。
我强烈推荐 Chris Smith 的出色文章 What to Know Before Debating Type Systems，了解有关该主题的更多背景信息。
来自那篇文章：
静态类型系统是一种机制，编译器通过该机制检查源代码并将标签（称为“类型”）分配给语法片段，然后使用它们来推断程序行为。动态类型系统是一种机制，编译器通过该机制生成代码以跟踪程序使用的数据类型（巧合的是，也称为“类型”）。当然，在这两个系统中使用同一个词“类型”并非完全巧合。但最好将其理解为具有某种微弱的历史意义。试图找到一种世界观，其中“类型”在两个系统中真正意味着相同的东西，导致了极大的混乱。它没有。解决这个问题的更好方法是认识到：
- 很多时候，程序员都试图用 静态和动态类型。
- 尽管如此，静态类型并不局限于动态解决的问题 类型。
- 动态类型也不限于可以通过以下方式解决的问题 静态类型。
- 这两种技术的核心根本不是一回事。
【讨论】：
主要是避免让程序员“声明”这个、那个和另一个而产生的大量冗余。通过类型推断可以获得类似的优势（例如，boo 就是这样做的），但不是那么便宜和灵活。正如我在the past...中所写：
完成类型检查或推断 需要整体分析 程序，这可能是相当 不切实际 - 并阻止范罗伊 和哈里迪，在他们的杰作中 “概念、技术和模型 计算机程序设计”，称“完全 开放编程”。引用一个帖子 我的 2004 年：“”“我喜欢 范罗伊和哈里迪的解释，p。 他们书中的 104-106，尽管我可能会或 可能不同意他们的结论 （这基本上是 内在差异很小——它们 指出 Oz 和 Alice 是可互操作的 没有和有静态的语言 分别键入），所有点 他们做的很好。最重要的是， 我相信，动态打字的方式 允许真正的模块化（更难 静态类型，因为类型规则 必须跨模块强制执行 边界）和“探索性 在计算模型中计算 集成了几个编程 范式”。
“推荐动态输入”，他们 得出结论，“当程序必须是 尽可能灵活”。我建议 阅读敏捷宣言 理解为什么最大的灵活性是 在大多数现实世界中至关重要 应用程序编程——和 因此，为什么，在所说的现实世界中 而不是在更学术的 圆圈 Van Roy 博士和 Hadidi 博士 搬进来，动态打字一般是 更可取，而不是这么小的问题 因为他们有所作为。 尽管如此，他们至少表现出更多 对问题的认识，投入3 优秀的讨论页面 它，优点和缺点，比几乎任何 我看过的其他书——大多数书 已经清楚地描绘和执行 以一种或另一种方式优先，所以 讨论很少如此平衡 那样;)。
【讨论】：
【讨论】：
让我们做一些优势/劣势比较：
动态语言：
静态语言：
为了让事情更复杂一点，请考虑使用 var 构造的 C# 等语言正在部分动态化（无论如何感觉上），或者像 Haskell 等静态类型但由于类型推断而感觉动态的语言。
【讨论】：
动态编程语言基本上在运行时执行其他语言在编译时执行的操作。这包括通过添加新代码、扩展对象和定义或修改类型系统来扩展程序，所有这些都在程序执行期间而不是编译期间进行。
http://en.wikipedia.org/wiki/Dynamic_programming_language
这里有一些常见的例子
http://en.wikipedia.org/wiki/Category:Dynamic_programming_languages
回答你原来的问题：
它们很慢，您需要使用基本的文本编辑器来编写它们 - 没有 Intellisense 或代码提示，它们往往是编写和维护的一大难题。但是最著名的一个（javascript）几乎可以在世界上的每个浏览器上运行——我猜这是一件好事。让我们称之为“广泛的兼容性”。我认为您可能可以获得适用于大多数操作系统的动态语言解释器，但您肯定无法获得适用于大多数操作系统的非动态语言的编译器。
【讨论】：