強(qiáng)類型語(yǔ)言/弱類型語(yǔ)言、動(dòng)態(tài)語(yǔ)言/靜態(tài)語(yǔ)言、編譯型語(yǔ)言/解釋型語(yǔ)言（整理）

【強(qiáng)類型語(yǔ)言/弱類型語(yǔ)言】

• 強(qiáng)類型語(yǔ)言偏向于不容忍隱式類型轉(zhuǎn)換。強(qiáng)類型語(yǔ)言有 Java、C#、Python 等。示例如下（Python）：

>>> 67 + 8
75
>>> 67 + '8'
Traceback (most recent call last):
  File "<pyshell#3>", line 1, in <module>
    67 + '8'
TypeError: unsupported operand type(s) for +: 'int' and 'str'

• 弱類型語(yǔ)言偏向于容忍隱式類型轉(zhuǎn)換。弱類型語(yǔ)言有 C、C++、JavaScript 等。示例如下（JavaScript）：

> 67 + 8
75
> 67 + '8'
"678"

• 無(wú)類型語(yǔ)言：匯編

【動(dòng)態(tài)語(yǔ)言/靜態(tài)語(yǔ)言】

• 動(dòng)態(tài)語(yǔ)言是運(yùn)行時(shí)檢查變量類型的語(yǔ)言。動(dòng)態(tài)語(yǔ)言有 Python、JavaScript 等。示例如下（Python）：

>>> a = 7
>>> type(a)
<class 'int'>
>>> a = 'z'
>>> type(a)
<class 'str'>

• 靜態(tài)語(yǔ)言是編譯時(shí)檢查變量類型的語(yǔ)言。靜態(tài)語(yǔ)言有 C、C++、Java、C# 等。

【編譯型語(yǔ)言/解釋型語(yǔ)言】

• 編譯型語(yǔ)言需通過(guò)編譯器將源代碼編譯成機(jī)器碼，之后才能執(zhí)行。一般需經(jīng)過(guò)編譯、鏈接這兩個(gè)步驟。編譯型語(yǔ)言有 C、C++ 等。

• 解釋性語(yǔ)言的程序不需要編譯，相比編譯型語(yǔ)言省了道工序，解釋性語(yǔ)言在運(yùn)行程序的時(shí)候才逐行翻譯。解釋型語(yǔ)言有 Python、JavaScript 等。

• 半編譯/半解釋型語(yǔ)言，編譯時(shí)不生成機(jī)器碼，生成中間碼（/字節(jié)碼）。代碼語(yǔ)言有 Java、C# 等。（Java 執(zhí)行時(shí)接近解釋型，C# 執(zhí)行時(shí)接近編譯型）

【強(qiáng)弱動(dòng)靜象限圖】（圖片來(lái)源：Dynamic Typing is NOT Weak Typing）

本文根據(jù)以下兩篇文章整理：

1、知乎：弱類型、強(qiáng)類型、動(dòng)態(tài)類型、靜態(tài)類型語(yǔ)言的區(qū)別是什么？

2、100多種編程語(yǔ)言學(xué)什么？編程范型/編程范式

3、有什么編譯型語(yǔ)言是動(dòng)態(tài)類型的嗎？

*** walker ***