canonical

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

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