类型与fp

FP为什么要加类型系统呢？强类型fp或许对于haskell式语言是好实践，可是erlang不需要呀。

fp一特点是把结构架在函数而不是数据上。

ets和dets的扁平数据才是好实践嘛。类型系统在我看来是为了保证结构的匹配，不让蛇跑步，其根源不是因为结构长在了数据上吗。

长在数据上的结构和扁平函数不好做运行时变形金刚(难以解耦合)。因为跑动的主体是函数。

弱类型erlang，或许简陋的模式匹配，对于erlang的一个积极作用就是对于设计，迫使数据扁平。

 

夜深了。小声点

无噪音，无污染，紧要关头小声喊

能让机器干的活,就不要让人来干了。