编程范式

结构化编程

结构化编程是对程序的控制权的直接转移进行了限制和规范

可推导性

  • 错误地使用goto是有害的

可将模块递归降解为可推导的单元

测试只能证明程序存在错误,而不能证明其正确

面向对象编程

面向对象编程是对程序的控制权的间接转移进行了限制和规范

封装

继承

多态

  • 多态中接口与实现的强大作用
  • 依赖反转

当进行依赖反转之后,软件模块则可以进行独立开发,独立部署

函数式编程

函数式编程是对赋值操作进行限制和规范

函数式编程中的变量是不可变的

可变性的隔离

服务被切分为可变和不可变两种组件

事件溯源

不保存具体状态,而是保存操作日志,根据日志计算某一具体时刻的状态

总结

软件,是由顺序结构,分支结构,循环结构和间接转移几种行为组成,无可增加,也缺一不可

results matching " "

No results matching " "

results matching " "

No results matching " "