【强类型语言/弱类型语言】

• 强类型语言偏向于不容忍隐式类型转换。强类型语言有 Java、C#、Python 等。示例如下（Python）：

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

• 弱类型语言偏向于容忍隐式类型转换。弱类型语言有 C、C++、JavaScript 等。示例如下（JavaScript）：

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

• 无类型语言：汇编

【动态语言/静态语言】

• 动态语言是运行时检查变量类型的语言。动态语言有 Python、JavaScript 等。示例如下（Python）：

>>> a = 7
>>> type(a)

>>> a = 'z'
>>> type(a)

• 静态语言是编译时检查变量类型的语言。静态语言有 C、C++、Java、C# 等。

【编译型语言/解释型语言】

• 编译型语言需通过编译器将源代码编译成机器码，之后才能执行。一般需经过编译、链接这两个步骤。编译型语言有 C、C++ 等。

• 解释性语言的程序不需要编译，相比编译型语言省了道工序，解释性语言在运行程序的时候才逐行翻译。解释型语言有 Python、JavaScript 等。

• 半编译/半解释型语言，编译时不生成机器码，生成中间码（/字节码）。代码语言有 Java、C# 等。（Java 执行时接近解释型，C# 执行时接近编译型）

【强弱动静象限图】（图片来源：Dynamic Typing is NOT Weak Typing）

本文根据以下两篇文章整理：

1、知乎：弱类型、强类型、动态类型、静态类型语言的区别是什么？

2、100多种编程语言学什么？编程范型/编程范式

3、有什么编译型语言是动态类型的吗？

*** walker ***