canonical

    我的觀點并不是什么具體的程序結(jié)構(gòu)問題不能用函數(shù)式語言處理.我所要表述的是這和函數(shù)式語言中能否加入結(jié)構(gòu)解決任意復雜問題無關(guān)。為什么所有的問題不能在集合論中解決，為什么要有獨立的數(shù)學學科。物理學所有的定律都使用數(shù)學表述，是否意味著物理學的真理蘊含在數(shù)學之中。
    我說實際上現(xiàn)在的通用語言也是無法有效承載Domain Specific Structure的。其實與以下說法是類似的
數(shù)學是無法涵蓋物理學的，現(xiàn)在的已知的數(shù)學工具是無法有效承載尚未得到充分探索的領(lǐng)域的物理的
    我說我所關(guān)心的不是語言層面的問題。這類似于說不要把所有物理問題都推到數(shù)學層面去解決。
    我們應該研究獨立的結(jié)構(gòu)，應該建立單獨的價值觀和方法論。不要談及一個技術(shù)進展的時候就說某某語言好，不是一說到DSL的優(yōu)點就要去抱ruby的大腿。此外，我的觀點也不是去做業(yè)務分析，不是去如何更好的實現(xiàn)業(yè)務到基礎(chǔ)技術(shù)結(jié)構(gòu)的映射。
    不是強調(diào)對象的所謂業(yè)務含義，不是強調(diào)某種通用語言（例如ruby）的靈活的語法結(jié)構(gòu)。在這之間存在著厚重的具有物理意義的可以進行結(jié)構(gòu)分析的技術(shù)層。
    我想說這個結(jié)構(gòu)層面現(xiàn)在并未得到充分的關(guān)注，我們對于結(jié)構(gòu)的問題并不是非常清楚，對程序結(jié)構(gòu)的穩(wěn)定性更是少有經(jīng)驗。我們在Witrix中做了大量的工作，試圖做到如下的圖景：
   永遠只寫代碼片斷，而所有的代碼片斷組合在一起又構(gòu)成一個可理解的整體
   對背景不是分解讓其成為可見的部分，而是采用追加的，增刪的方法對背景結(jié)構(gòu)進行修正，則我們有可能在沒有完整背景知識的情況下，獨立的理解局部變化的結(jié)構(gòu)。即背景是透明的，知識成為局部的。
http://canonical.javaeye.com/blog/126467
    在Witrix中我們實現(xiàn)的代碼重用程度和程序整體結(jié)構(gòu)控制能力是超越了目前所有已知的公開技術(shù)的。這不是什么哲學，而是我們在殘酷的商業(yè)競爭中得以生存的資本。

號外：
  不要把具體的技術(shù)和一種技術(shù)思想混為一談。一種實現(xiàn)總是包容了太多的思想。思想錯了，實現(xiàn)對了。實現(xiàn)死了，思想活著。