动态类型、静态类型

静态类型：编译阶段类型检查，编译器负责。

动态类型：运行时类型检查，程序员负责。

灵活性与多干活的二难。