让编程变得可推导的三种方向

15-01-29 banq
                   

让程序变得可推导,关键是对可变状态的围剿,纵观业界有三种方向:

1. 通过函数式语言让不变性成为语言的默认特性,这样可变状态变成特例。这种方式会让程序员尽量不用可变状态,就是没办法回避也会努力花力气做好做完善。

2.让可变状态变成编程的核心,也就是说,从需求分析到代码设计,可变状态一直是我们的核心,重点对象,包含可变状态的DDD实体方法属于这种范畴。参考:通过实体快照实现事件建模

3.通过关注分离,将可变状态从系统中通过特殊框架和模式分离出来,比如Javascript世界的React.js,包括Actor模型倡导的reactive编程方式,所谓react即时反应,隐式其实隐藏着一个前提,在状态变化触发的即时反应,所以,这种方法也是一种以可变状态为核心的。javascript前端React.js相关参考:前端Flux架构简介,最新的英文youtube视频:React.js Conf 2015 Keynote - Introducing React Native

[该贴被banq于2015-01-29 11:39修改过]

                   

5