静态与动态语言，解释型与编译型语言

https://mp.weixin.qq.com/s?src=11&timestamp=1573893566&ver=1977&signature=RuoYWb4SXbCmzVwQSyY8afxb4d0Q0jSKqMwhy6hhLUPTHFe9lv-veGj3C5CsnILcOFCNFknsW3nUorMGfCSthRPWvALrP4lNyhVKHKJRlMt5rrV8QbdtWhnymeGFtG&new=1关于编译器与解释器的讲解。

编译型与解释型

1、编译型语言
需通过编译器（compiler）将源代码编译成机器码，之后才能执行的语言。一般需经过编译（compile）、链接（linker）这两个步骤。

编译是把源代码编译成机器码，链接是把各个模块的机器码和依赖库串连起来生成可执行文件。

优点：编译器一般会有预编译的过程对代码进行优化。因为编译只做一次，运行时不需要编译，所以编译型语言的程序执行效率高。可以脱离语言环境独立运行。
缺点：编译之后如果需要修改就需要整个模块重新编译。编译的时候根据对应的运行环境生成机器码，不同的操作系统之间移植就会有问题，需要根据运行的操作系统环境编译不同的可执行文件。
代表语言：C、C++、Pascal、Object-C以及最近很火的苹果新语言swift

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

优点：有良好的平台兼容性，在任何环境中都可以运行，前提是安装了解释器（虚拟机）。灵活，修改代码的时候直接修改就可以，可以快速部署，不用停机维护。
缺点：每次运行的时候都要解释一遍，性能上不如编译型语言。
代表语言：JavaScript、Python、Erlang、PHP、Perl、Ruby

为什么我们一般说解释器的效率比较低？你也可以想象的是，一段程序在解释器中运行时可能会被编译多次，因为每次运行到这段程序时，都会重新编译一次，这样的开销是很大的。

3. 混合型语言（预编译语言）C#和java
   既然编译型和解释型各有缺点就会有人想到把两种类型整合起来，取其精华去其糟粕。就出现了半编译型语言。比如C#，C#在编译的时候不是直接编译成机器码而是中间码，.NET平台提供了中间语言运行库运行中间码，中间语言运行库类似于Java虚拟机。.net在编译成IL代码后，保存在dll中，首次运行时由JIT在编译成机器码缓存在内存中，下次直接执行。Java先生成字节码再在Java虚拟机中解释执行。严格来说混合型语言属于解释型语言。C#更接近编译型语言。

4. JIT即时编译器
   在原始资料中有很多重复的内容；这些重复的内容如果翻译一次之后，就把它保存，再碰到相同的内容就直接使用保存的翻译结果。而没有必要每次都再翻译。那么，一些重复出现的代码，就可以将其编译为本地机器指令，重复使用，从而提高效率。这些重复出现的代码包括多次调用的方法和多次执行的循环体。

JIT即时编译器比较典型的例子是在JVM（Java虚拟机）中。

Java程序最初是通过解释器进行解释执行的，当Java虚拟机发现某个方法或代码块运行特别频繁的时候，就会认为这是“热点代码”（Hot Spot Code)。JIT即时编译器会将这些“热点代码”编译成与本地机器相关的机器指令，进行各个层次的优化，长时间运行程序时，速度就会快上很多。这个例子实际上就是JIT即时编译器（Just-In-Time Compiler）的比喻。

无论是使用解释器进行解释执行，还是使用编译器进行编译后执行，最终源代码都需要被转换为对应平台的本地机器指令。大家都知道，Java程序的运行性能很高，基本上可以和C/C++的程序相媲美。这主要是因为JIT即时编译器可以针对那些频繁被调用的“热点代码”做出深度优化，而静态编译器无法完全推断出哪些是运行时的热点代码，而不能做出针对性的优化。因此，通过JIT即时编译器编译的本地机器指令才会比直接生成的本地机器指令拥有更高的执行效率。

动态语言和静态语言

动态语言
是一类在运行时可以改变其结构的语言：例如新的函数、对象、甚至代码可以被引进，已有的函数可以被删除或是其他结构上的变化。通俗点说就是在运行时代码可以根据某些条件改变自身结构。
主要动态语言：Object-C、C#、JavaScript、PHP、Python、Erlang。

2、静态语言
与动态语言相对应的，运行时结构不可变的语言就是静态语言。如Java、C、C++。

有三个名词容易混淆：
Dynamic Programming Language (动态语言或动态编程语言)
Dynamically Typed Language (动态类型语言)
Statically Typed Language (静态类型语言)
静态语言的可维护性比动态语言的可维护性好，在代码量极大的时候，动态语言的变量需要靠注释来维护，而且动态语言较难发现错误，因为类型不确定，所以在用的时候要求较小。出现失误时较难发觉。

静态类型语言与动态类型语言

1、动态类型语言
动态类型语言和动态语言是完全不同的两个概念。
动态类型语言：是指在运行期间才去做数据类型检查的语言，说的是数据类型，
动态语言：说的是运行是改变结构，说的是代码结构。
动态类型语言的数据类型不是在编译阶段决定的，而是把类型绑定延后到了运行阶段。
主要语言：Python、Ruby、Erlang、JavaScript、swift、PHP、Perl。

# coding: utf-8

def sum(a, b):
    return a + b;

print sum(1,2);
print sum("Hello ", "Word")

可以看出来这里 sum函数没有指定参数类型，在运行时才指定。

2、静态类型语言
静态语言的数据类型是在编译期间（或运行之前）确定的，编写代码的时候要明确确定变量的数据类型。
主要语言：C、C++、C#、Java、Object-C。