静态类型语言:每个变量和表达式在编译时就已经知道了。

(int;A在运行时只能接受整型值)

例如:C, c++， Java

动态类型语言:变量可以在运行时接收不同的值，它们的类型在运行时定义。

(var;A可以在运行时取任何类型的值)

例如:Ruby, Python。

编译vs.解释

“当源代码被翻译时”

源代码:原始代码(通常由人输入计算机) 翻译:将源代码转换为计算机可以阅读的内容(即机器代码) 运行时间:程序执行命令的时间(编译后，如果编译) 编译语言:在运行时之前翻译的代码 解释语言:在执行过程中动态翻译的代码

---

打字

当类型被检查时

5 + '3'是强类型语言(如Go和Python)中类型错误的一个例子，因为它们不允许“类型强制”——>值在某些上下文中改变类型的能力，例如合并两种类型。弱类型语言，如JavaScript，不会抛出类型错误(结果为'53')。

静态:运行前检查的类型 动态:在执行期间动态检查类型

---

“静态和编译”和“动态和解释”的定义非常相似……但是记住，当类型被检查时。“当源代码被翻译时”。

无论语言是编译的还是解释的，你都会得到相同的类型错误!你需要从概念上区分这些术语。

---

Python示例

动态的,解释

def silly(a):
    if a > 0:
        print 'Hi'
    else:
        print 5 + '3'

silly(2)

因为Python是解释性的和动态类型的，所以它只翻译和类型检查它所执行的代码。else块永远不会执行，所以5 + '3'甚至永远不会被查看!

如果它是静态类型的呢?

甚至在代码运行之前就会抛出类型错误。即使它是解释的，它仍然在运行时之前执行类型检查。

如果它是编译的呢?

else块将在运行时之前被转换/查看，但因为它是动态类型的，所以不会抛出错误!动态类型语言直到执行才检查类型，而这一行永远不会执行。

---

去的例子

静态的,编译

package main

import ("fmt"
)

func silly(a int) {
  if (a > 0) {
      fmt.Println("Hi")
  } else {
      fmt.Println("3" + 5)
  }
}

func main() {
  silly(2)
}

类型在运行前检查(静态)，类型错误立即被捕获!如果是解释类型，则在运行时之前仍将检查类型，结果相同。如果它是动态的，即使在编译期间查看代码，它也不会抛出任何错误。

---

性能

如果编译语言是静态类型(而不是动态类型)，那么它在运行时的性能会更好;类型知识允许机器代码优化。

静态类型语言本质上在运行时具有更好的性能，因为在执行时不需要动态地检查类型(它在运行前检查)。

类似地，编译语言在运行时速度更快，因为代码已经被翻译，而不需要动态地“解释”/翻译。

注意，编译语言和静态类型语言在分别进行翻译和类型检查之前都会有一个延迟。

---

更多的差异

静态类型在早期捕获错误，而不是在执行期间发现错误(对长程序特别有用)。它更“严格”，因为它不允许程序中的任何地方出现类型错误，并且经常防止变量改变类型，这进一步防止了意外错误。

num = 2
num = '3' // ERROR

动态类型更灵活，这一点受到一些人的赞赏。它通常允许变量更改类型，这可能导致意外错误。

不幸的是，术语“动态类型”具有误导性。所有语言都是静态类型的，类型是表达式的属性(而不是一些人认为的值的属性)。然而，有些语言只有一种类型。这些被称为单一类型语言。这种语言的一个例子是无类型lambda演算。

在无类型lambda演算中，所有的项都是lambda项，对一个项执行的唯一操作是将它应用到另一个项。因此，所有的操作总是导致无限递归或lambda项，但永远不会发出错误信号。

However, were we to augment the untyped lambda calculus with primitive numbers and arithmetic operations, then we could perform nonsensical operations, such adding two lambda terms together: (λx.x) + (λy.y). One could argue that the only sane thing to do is to signal an error when this happens, but to be able to do this, each value has to be tagged with an indicator that indicates whether the term is a lambda term or a number. The addition operator will then check that indeed both arguments are tagged as numbers, and if they aren't, signal an error. Note that these tags are not types, because types are properties of programs, not of values produced by those programs.

这样做的单一类型语言称为动态类型语言。

JavaScript、Python和Ruby等语言都是单一类型的。同样，JavaScript中的typeof操作符和Python中的type函数的名称具有误导性;它们返回与操作数相关的标记，而不是操作数的类型。类似地，c++中的dynamic_cast和Java中的instanceof不做类型检查。

静态类型语言(编译器解析方法调用和编译引用):

通常表现更好 更快的编译错误反馈 更好的IDE支持 不适合使用未定义的数据格式 当没有定义模型时，很难开始开发 更长的编译时间 在很多情况下需要编写更多的代码

动态类型语言(在运行程序中做出的决定):

较低的性能 更快的发展 有些bug可能只在稍后的运行时才会被检测到 适用于未定义的数据格式(元编程)

允许程序在运行时更改变量类型的动态类型编程。

动态类型语言:Perl、Ruby、Python、PHP、JavaScript、Erlang

静态类型，意味着如果你试图在一个整数变量中存储一个字符串，它将不会接受它。

静态类型语言:C、c++、Java、Rust、Go、Scala、Dart

静态类型: Java和Scala等语言是静态类型的。

在代码中使用变量之前，必须对变量进行定义和初始化。

对于exp . int x;X = 10;

System.out.println (x);

动态类型: Perl是一种动态类型语言。

变量在代码中使用之前不需要初始化。

y = 10;在后面的代码中使用这个变量