均为个人读书笔记,精读并整理出来各个章节的知识点。前面的这几章,书中原文内容本就不多,只提取了重点,都是为了后续内容做铺垫打基础的。
整数平方
在书中,举了一个整数平方的例子,分别以Java
代码,和Clojure
代码输出前25
个整数的平方值。
其区别在于,在Clojure
中,没有出现一个变量。
函数式编程语言中的变量,是不可变的。函数才是一等公民,在这种语言中,全是表达式,不使用语句。
不可变性与软件架构
所有的竞争问题,死锁问题,并发更新问题,都是由于可变变量导致的。所以我们应该关注不可变性。
可变形的隔离
一个架构设计良好的应用程序,应当将程序的内部服务进行切分,分为可变和不可变的组件,不可变组件使用纯函数的方式来执行任务,期间它不更改任务状态和变量(应当也包含数据库)。
可变和不可变之间的组件使用可变组件来通讯。最终等到需要修改状态(数据库)时,应当使用事务性数据库,避免同步更新和竞争状态发生。
大部分处理逻辑应当在不可变组件中,可变组件中的逻辑越少越好。
事件溯源
事件溯源的核心是不再对数据进行删改操作,这样也能避免任何可变变量。例如银行账号余额或库存数据,每一次删改就是一条记录,需要取数据时,将全部流水拉出来计算数据,并上锁。
这得益于日渐发展的存储能力和计算能力,使得这种模式成为可能。