编程范式 | 青训营笔记

87 阅读2分钟

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

直接对两个容器直接操作

响应式编程

异步 / 离散的函数式编程

  • 数据流
  • 操作符
    • 过滤
    • 合并
    • 转化
    • 高阶

语言运行

image.png

Lexer

SQL Token分类

  • 注释
  • 关键字
  • 操作符
  • 空格
  • 字符串
  • 变量

Parser

上下文无关语法规则

<selectStatement> ::=SELECT <selectList> FROM <tableName>
<selectList> ::= <selectField> [,<selectList>]
<tableName> ::=<tableName> [,<tableList>]

推导式:表示非终结符到(非终结符或终结符)的关系。

终结符:构成句子的实际内容。可以简单理解为词法分析中的token。

非终结符:符号或变量的有限集合。它们表示在句子中不同类型的短语或子句。