编程语言的思考

工作几年，先后接触 c/c++，python，lua，dart，JavaScript，java 各种语言，记录下对于一个编程语言的理解，对一个编程语言的理解，应该关注两个方面

一、语言特性

语言特性由编译器具体实现，具体包括：

1. 强类型 vs 弱类型
   强类型就是类型很硬，不太接受转换
   比如 c++就是强类型，不同类型转换需要各种 cast
   JavaScript 就是弱类型，一个变量，一会数字，一会字符串，一会对象都没问题

2. 静态类型 vs 动态类型
   静态类型：程序运行前确定变量类型，需事先声明或者由编译器推导
   动态类型，程序运行时才进行类型绑定和检查

3. 静态语言 vs 动态语言
   程序在运行时可以更改代码结构，比如 JavaScript 随时给一个对象添加成员或者添加函数

4. 值类型 vs 引用数据类型
   JavaScript 中除了基本数据类型外，其他都是引用类型，所以变量赋值后其实指向的是同一对象

总结：
变量声明时是否需要指定类型->静态类型 vs 动态类型
声明后的类型能否相互转换->强类型 vs 弱类型
程序运行时，能否改变对象内部结构->动态语言 vs 静态语言

但，对于 dart 语言，所有这些都不算数，
既可以编译成二进制，AOT，又可以解释运行
变量声明既可以指定类型，也可以 dynamic 声明不指定类型
不支持反射，所以是静态语言
类型不可随意转换，是强类型语言

二、运行环境

运行环境就是 runtime，包括虚拟机或者真实的操作系统，需要注意的有

1. 编译运行 vs 解释执行
   编译型：源代码->编译器->可执行代码
   解释型：解释器读取源代码，编译，然后运行。
   区别仅仅是源代码翻译成目标代码的时机不同。
   c/c++是编译型，各源文件编译成 obj，后经过连接器链接为可执行文件，后操作系统加载执行
   js，python 是解释型，先编译为字节码，后由虚拟机加载执行。
   要注意编译单位：c/c++是以文件为单位，nodejs 和 python 同样，但网页中 js 是以代码块独立翻译，执行，但各代码块共享变量

2. 异步编程模型
   nodejs 是单线程异步模型，异步模型导致回调地狱问题，后出现 await，async，以同步编程方式来编写异步代码。更好维护

3. 垃圾回收
   只管使用，不用操心内存释放。
   越高级语言，开发者越不需要关心底层，c/c++，不需要关心汇编指令，但是需要负责内存的申请和释放，而 java，js，dart 等现代化语言，开发者不需要关心内存问题，这是语言发展的必然。

个人理解，欢迎留言讨论