多线程的问题根本上面就是因为存在共享的可变变量导致的。
所以如果变量不共享,或者不可变,那么就不会有多线程的问题了。
所以如果我们改变一下我们写代码所使用的范式,改成函数式,那么多线程的问题也就迎刃而解了。
在函数式的规范下面,我们写出来的函数都是纯函数,函数里面既没有变量也没有对外访问的IO操作。
纯函数在任何的时候去访问它,给到的返回值都是一样的。
那么如果不访问IO,那么我们的系统有何用?
在实践中我们可以采用类似下面的架构,所有的I/O调度在Service进行,Repository做I/O的执行。而所有的业务和计算逻辑就全部都摆到Pure Function那里执行。这是一个参考架构,可以在类似Java这样的语言中使用。
Haskell有专门的机制处理I/O,Pure Function跟外界打交道完全就靠IO monad的串联。Haskell提供框架机制处理Monad串联中需要做的所有实际的IO操作,然后monad接受的都是纯函数。
另外函数式编程有它自己的一套数据结构。
它用的List跟Java用的List并不一样。
Java用的List本身是带有状态的,如果想要不带状态的,就要用CopyOnWriteList,但是效率就比较低。而函数式的List就不一样,对其做修改并不需要做全List的拷贝,这是因为它的内部采用的是链表的结构,且它适应函数式的常见使用方式,一般从末端开始进行对List的增删改操作,他的执行效率是很高的。
函数