而是Joe Amstrong的PhD thesis.Declarative和Procedure已经争论了几十年了,现在看来,在multi-core时代Declarative programming有重新崛起的迹象。比较吸引我的地方是这种思路下很多让Procedure Programming很难解决的...