函数+演绎

CLOJURE的假设开发模型是函数+演绎。其它的都大同小异。现在是混合式语言比较吃香，也充分佐证了前面的语义提升运动的假设。

这种模型让你在不必要使用状态的地方不使用状态，在需要状态的地方使用STM解决它。

STM不是解决状态的最佳办法。在数据处理中，事务是一种边缘性的方法。是事后诸葛亮。锁也不是好方法。目前没有更好的方法。悲观锁可以用，但是不直观，麻烦。并且在有人参与的过程中根本就不可行。待解！

函数也不是最终方案。最终方案应该是一个比较全面的方案，离开机器的方案。FP里面使用STM，这本身就是对机器的妥协，体现出业界的无能。

有能的方案绝对是向上走。做语义大师！