C/C++
C:“中级语言”过程式语言代表
- 可对位,字节,地址直接操作
- 代码和数据分离倡导结构化编程
- 功能齐全:数据类型和控制逻辑多样化
- 可移植能力强
C++:面向对象语言代表
- C with Classes
- 继承
- 权限控制
- 虚函数
- 多态
Lisp
Lisp:函数式语言代表
- 与机器无关
- 列表:代码即数据
- 闭包
JavaScript
基于原型和头等函数的多范式语言
- 过程式
- 面向对象
- 函数式
- 响应式
过程式编程
- 自顶向下
- 结构化编程
- 数据与算法关联弱
- 不利于修改和扩充
- 不利于代码重用
面向对象编程
- 封装
- 继承
- 多态
- 依赖注入
五大原则
- 单一职责原则SRP(Single Responsibility Principle)
- 开放封闭原则OCP(Open-Close Principle)
- 里式替换原则LSP(the Liskov Substitution Principle LSP)
- 依赖倒置原则DIP(the Dependency Inversion Principle DIP)
- 接口分离原则ISP(the Interface Segregation Principle ISP)
函数式编程
- 函数是“第一等公民”
- 纯函数 / 无副作用
- 高阶函数 / 闭包
First Class Function
Pure Function
优势
- 可缓存
- 可移植
- 可测试
- 可推理
- 可并行
Currying
Composition
Functor
可以当作容器的类型,类型支持容器内元素进行操作
常见的functor:Array(Iterable).map, Promise.then
Monad
可以去除嵌套容器的容器类型 常见monad: Array.flatMap Promise.then
Applicative
直接对两个容器直接操作
响应式编程
异步 / 离散的函数式编程
- 数据流
- 操作符
-
- 过滤
-
- 合并
-
- 转化
-
- 高阶
语言运行
Lexer
SQL Token分类
- 注释
- 关键字
- 操作符
- 空格
- 字符串
- 变量
Parser
上下文无关语法规则
<selectStatement> ::=SELECT <selectList> FROM <tableName>
<selectList> ::= <selectField> [,<selectList>]
<tableName> ::=<tableName> [,<tableList>]
推导式:表示非终结符到(非终结符或终结符)的关系。
终结符:构成句子的实际内容。可以简单理解为词法分析中的token。
非终结符:符号或变量的有限集合。它们表示在句子中不同类型的短语或子句。