编程范式
笔者：YDSUPER
课程地址：点我前往
零、课程介绍
- 了解不同编成范式的起源和使用场景
- 掌握 JavaScript 在不同的编程范式特别是函数式编程范式的使用
- 掌握创建领域特定语言的相关工具和模式
一、编程语言
为什么需要编程语言
机器语言
一个语言通常需要介质来承载，最早的承载介质是纸带
汇编语言
高级语言
C/C++
C："中级语言" 过程式语言代表
- 可对位，字节，地址直接操作
- 代码和数据分离倡导结构化编程
- 功能齐全：数据类型和控制逻辑多样化
- 可移植能力强
C++：面向对象语言代表
- C with Classes
- 继承
- 权限控制
- 虚函数
- 多态
Lisp
Lisp：函数式语言代表
- 与机器无关
- 列表：代码即数据
- 闭包
JavaScript
- 基于原型和头等函数的多范式语言
- 过程式
- 面向对象
- 函数式
- 响应式
总结
二、编程范式
什么是编程范式
常见编程范式
过程式编程
-
自顶向下
-
结构化编程
JS 中的面向过程
面向过程的问题
- 数据与算法关联弱
- 不利于修改和扩充
- 不利于代码重用
面向对象编程
- 封装
- 继承
- 多态
- 依赖注入*
封装
关联数据与算法
继承
无需重写的情况进行功能扩充
多态
不同的结构可以进行接口共享，进而达到函数复用
依赖注入
去除代码耦合
五大原则
- 单一职责原则SRP（Single Responsibility Principle）
- 开放封闭原则OCP（Open - Close Principle）
- 里式替换原则LSP（the Liskov Substitution Principle）
- 依赖倒置原则DIP（the Dependency Ineversion Princeip）
- 接口分离原则ISP（the Interface Segregation Principle）
问题
面向对象编程语言的问题所在，它总是附带着所有它需要的隐含环境。你想要一个香蕉，但得到的却是一个大猩猩拿着香蕉，而且还有整个丛林。
函数式编程
- 函数是 “第一等公民”
- 纯函数 / 无副作用
- 高阶函数 / 闭包
响应式编程
- 异步？离散的函数时编程
- 数据流
- 操作符
- 过滤
- 合并
- 转化
- 高阶
总结
三、领域特定语言
什么是领域特定语言
语言运行
lexer
SQL Token 分类
- 注释
- 关键字
- 操作符
- 空格
- 字符串
- 变量
Parser_语法规则
上下文无关语法规则
-
推导式：表示 非终结符到（非终结符或终结符）的关系
-
终结符：构成句子的实际内容。可以简单理解为词法分析中的token
-
非终结符：符号或变量的有限集合。它们表示在句子中不同类型的短语或子句
Parser_LL
LL：从左到右检查，从左到右构建语法树
Parser_LR
LR：从左到右检查，从右到左构建语法树
LL(K) > LR(1) > LL(1)
