纯函数
就从纯函数开始讲起吧。
对于纯函数,它具以下几个特征:
- 没有副作用:不会读写数据库、文件、socket、以及全局变量等。
- 具有一致性:正是因为没有副作用,纯函数才能表现出一致性:即对于参数a, b它始终会返回结果c,不管在什么环境中。
- 易于测试:纯函数的返回值完全由它的参数决定,因此编写测试用例时,不需要mock,你可以轻松地对一个纯函数进行全面测试。
- 结果可缓存:任何使用到纯函数表达式的地方,都可以用它的返回值来代替,不会改变代码的行为。如(+ 1 2)(- 10 7)等,这些都可以用3来代替。
- 易于并行化:因为没有副作用,不会对线程间共享数据产生竞争,是线程安全的。
因为对于特定的输入,纯函数的输出是一定的,所以我们再有些应用场景中可以将函数的返回值缓存下来,下次再调用的时候,就可以直接返回缓存的返回值,而不需要再次计算。这一技术也称作:内存化。
clojure实现内存化
clojure是利用memoize函数实现内存化的,如:
;定义一个判断是否为素数的函数
(defn prime?
[n]
(cond (= 1 n) false
(= 2