动态、静态语言

类型检查时验证类型数据以及赋值是否合乎类型要求的一个过程， 自然的方式认为类型检查就是查看 “变量” 和它们的类型，然后判断表达式是否合理 。当编译器或解释器在编译阶段做类型检查还是在运行阶段做类型检查来定义编程语言是动态类型或静态类型。

如果编程语言的类型检查发生在 “编译阶段”（Compile Time），则被定义为 “静态类型语言” （Statically Typed Languages）。

常见的静态类型语言包括：

• Java
• C
• C++
• C#
• Go

静态语言可以分为两种：

• 显示类型：类型是语言语法中定义
• 隐式类型：类型通过编译时推导

如果编程语言的类型检查发生在 “运行阶段”（Run Time），则被定义为 “动态类型语言” （Dynamically Typed Languages）。

常见的动态类型语言包括：

• Python
• JavaScript
• PHP

强类型、弱类型语言

强类型和弱类型主要是站在变量类型处理的角度进行分类的。 这些概念未经过严格定义，它们并不是属于语言本身固有的属性，而是编译器或解释器的行为。主要用以描述编程语言对于混入不同数据类型的值进行运算时的处理方式。

强类型语言是指无论在编译阶段还是运行阶段，一旦变量绑定某种类型后，此变量会持有该类型，并且不能与其他类型表达式进行混合运算。弱类型则相反。

强类型不允许变量类型转换，弱类型则允许类型转换。无论是显式类型转换还是隐式类型转换。

常见强类型语言包括：

• Java
• Python
• C#
• Go

常见弱类型语言包括：

• C
• C++
• PHP
• JavaScript

“强类型” 的一些要素：（引用自 强弱类型 ）

• 静态类型不同于动态类型。在静态类型系统中，类型是与变量相连系的名称（通常是在声明时），而不是值（通常是在初始化时）。类型也可借由编译器来推断。
• 通过语言定义，对类型约束违规的编译时间检查的托管要求。就是说，编译器确保操作只发生在对这个运算有效的操作数上。
• 类型安全；就是说，拒绝(在要么编译时间要么运行时间)尝试忽视数据类型的操作或函数调用。在更严格的设置下，通过证明进行性和藏存性来证明关于形式语言的类型安全。
• 禁止类型转换。某个类型的值，不论是不是以显式或隐式的方式，都不可转换为另一个类型。
• 但是某些作者，把“强类型语言”称呼保留给省略隐式类型转换(就是说编译器为了利益编程者而插入的转换)的语言。对于这些作者，编程语言是强类型的，如果类型必须通过通常叫做“强制”的显式符号来转换。
• 无法规避类型系统。某些语言允许程序员获取值的表示法之下的东西（即位模式），这有可能规避类型系统。
• 有复合类型的复杂而细致的类型系统。
• 数据对象中固定且不变的类型。给定数据对象的类型在这个对象的生命期内不改变。例如，类实例不可以改变它们的类。
• 在运行程序之前，强类型就保证了运行时期的程序行为，其以静态分析或其它的机制提供。

强 类型 语言 也称为 强 类型 定义 语言 。是一种总是 强 制 类型 定义的 语言 ，要求变量的使用要严格符合定义，所有变量都必须先定义后使用。 　　java、.NET、C++等都是 强 制 类型 定义的。也就是说，一旦一个变量被指定了某个数据 类型 ，如果不经过 强 制转换，那么它就永远是这个数据 类型 了。 例如你有一个整数，如果不显式地进行转换，你不能将其视为一个字符串。 　　与其相对应的是 弱 类型 语言 ：数据 类型 ... 1. 什么是 动态 语言 ？ 在了解 动态 语言 之前，我们首先了解下 “ 类型 检查”。 类型 检查是验证 类型 约束的过程，编译器或解释器通常在编译阶段或运行阶段做 类型 检查。 类型 检查就是查看 “变量” 和它们的 “ 类型 ”，然后判断表达式是否合理。例如，不能拿一个 string 类型 变量除以浮点数变量。 类型 检查发生在程序运行阶段（run time ），那么它便是“ 动态 类型 语言 ”（dynamically type... 首先要明确这些名词都是针对数据 类型 展开的各自定义，同样针对数据 类型 在编译时和运行时会有一些限定或者规则存在。 动态 类型 语言 不能等同于 弱 类型 语言 ， 静态 类型 语言 也不能等同于 强 类型 语言 。 静态 类型 语言 和 动态 类型 语言 放到一个维度来进行评价 类型 系统，而 强 类型 语言 和 弱 类型 语言 是在另一个维度来评价 类型 系统。1、 静态 类型 语言 和 动态 类型 语言 静态 类型 语言 和 动态 类型 语言 评价 类型 系统的维度可以理解为 类型 的定义。1.1 静态 类型 语言 。 强 类型 和 弱 类型 是 类型 系统按照 是否允许隐式转换 来分类 强 类型 的 语言 指的是 强 制数据 类型 定义的 语言 ，也就是说如果一个变量被指定了某一个 类型 ，如果不经过 强 制数据 类型 转换，他永远都是这个数据 类型 。 强 类型 好处是 更加严谨更加安全。 弱 类型 是 数据 类型 可以被忽略的 语言 ，与 强 类型 相反，一个变量可以赋不同的数据 类型 的值。好处是 编写代码速度更快更简单。 编译型和解释型编译型：有一个负责翻译的程序来对我们的源代码进行转换，生成相对应的可执行代码。这个过程说得专业一点，就称为编译（Compile），而负责编译的程序自然就称为编译器（Compiler）。如果我们写的程序代码都包含在一个源文件中，那么通常编译之后就会直接生成一个可执行文件，我们就可以直接运行了。但对于一个比较复杂的项目，为了方便管理，我们通常把代码分散在各个源文件中，作为不同的模块来组织... 我们从第一个「hello world」开始。首先我们先进入电脑的控制台输入 python3 进入 python 解释器模式。例如我以 Mac 为例 在 iTerm 终端输入 python3 会进入解释器模式。Python 3.7.3 (v3.7.3:ef4ec6ed12, Mar 25 2019, 16:52:21)[Clang 6.0 (clang-600.0.57)] on darwinTyp... string b=a.ToString()+"1"+"a" int c=a+1 看到了吗?区分大小写，需要实现申明 类型 外,一个重要的区别是, 弱 类型 的 语言 的东西没有明显的 类型 ,他能随着环境的不同,自动变换 类型 而 强 类型 则没这样的规... 强 类型 ：在开辟变量存储空间时，定义了空间将来存储的数据的数据 类型 。只能存储固定 类型 的数据 弱 类型 ：在开辟变量存储空间时，不定义空间将来的存储数据 类型 ，可以存放任意 类型 的数据。 * 语法： 在一些技术文档、编程书籍中，介绍编程 语言 的背景、发展历程，设计理念时，常常提到这些词： 动态 类型 、 静态 类型 、 强 类型 ， 弱 类型 、解释型、编译型、脚本等概念的意思 1， 动态 类型 语言 VS 静态 类型 语言 （1） 动态 类型 语言 指是在运行期间才检查数据的 类型 的 语言 。使用这类 语言 编程时，不用给任何变量指定数据 类型 。该 语言 会在第一次赋值给变量时，在内部将数据 类型 记录下来。 常见的 动态 类型 语言 有：Python、Ruby、Erland、JS、Swift、PHP、Perl （2） 静态 类型 语言 是会在编译期间做检查数据 类型 的 语言 ，即写程序时要声明所有变量的数据 类型 ，是固定的。使用数据之前，必须先声明数据 类型 （int，float，double 等）。相当于使用之前，首先要为它们分配好内存空间