动态/静态语言和编译器/解释器

Question

我有一些问题：

• 动态编程语言总是被解释的？我想是的，但为什么？
• 是否有任何带有静态类型系统的动态语言​​？
• 带有静态类型系统的编程语言总是被编译的？

换句话说，在以下几个方面之间是否真的有联系：

• 静态/动态打字系统与静态/动态语言
• 静态/动态类型系统和编译器/解释器
• 静态/动态语言和编译器/解释器

Answer 1

类型系统与执行方法之间没有内在的联系。动态语言可以编译，静态语言可以解释。可以说，静态类型系统对在执行前编译的程序很有意义，它是一种在程序执行之前捕获某些错误的方法。然而，与静态类型系统相比，动态类型系统解决了不同的问题，解释执行解决了与编译不同的问题。

见在辩论类型制度之前要知道些什么。

Answer 2

动态编程语言总是被解释的？我想是的，但为什么？

不是的。大多数广泛使用的动态语言在内部编译为字节码或机器代码("JIT")。此外，还有许多用于动态类型语言的提前编译器.还有许多用于Scheme和Lisp以及其他语言的编译器。

是否有任何带有静态类型系统的动态语言​​？

是。您在这里寻找的术语是“可选类型”和“渐进类型”。

带有静态类型系统的编程语言总是被编译的？

大多数都是，但这不是严格要求的。许多静态类型的函数语言(如ML、F#和Haskell )都支持交互模式，在这种模式下，它将动态地解释(或在内部编译和执行)代码。Go还有一个命令，可以直接从源代码编译和运行代码。

换句话说，在以下几个方面之间是否真的有联系： 静态/动态类型系统和静态/动态语言静态/动态类型系统和编译器/解释器静态/动态语言和编译器/解释器

两者之间有着微妙的联系。大多数使用动态类型化语言的人之所以使用它们，部分原因是他们在开发过程中需要快速的迭代。同时，大多数使用静态类型语言的人都希望尽早捕获更多的错误。这意味着动态类型化语言倾向于直接从源代码运行，而静态类型化语言则倾向于提前编译所有内容。

但没有任何技术上的原因可以阻止你把它混为一谈。