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