關於函數式語言的一些說明

我的觀點並不是什麼具體的程序結構問題不能用函數式語言處理.我所要表述的是這和函數式語言中能否加入結構解決任意複雜問題無關。爲什麼所有的問題不能在集合論中解決，爲什麼要有獨立的數學學科。物理學所有的定律都使用數學表述，是否意味着物理學的真理蘊含在數學之中。
我說實際上現在的通用語言也是無法有效承載Domain Specific Structure的。其實與以下說法是類似的
數學是無法涵蓋物理學的，現在的已知的數學工具是無法有效承載尚未得到充分探索的領域的物理的

我說我所關心的不是語言層面的問題。這類似於說不要把所有物理問題都推到數學層面去解決。

我們應該研究獨立的結構，應該建立單獨的價值觀和方法論。不要談及一個技術進展的時候就說某某語言好，不是一說到DSL的優點就要去抱ruby的大腿。此外，我的觀點也不是去做業務分析，不是去如何更好的實現業務到基礎技術結構的映射。

不是強調對象的所謂業務含義，不是強調某種通用語言（例如ruby）的靈活的語法結構。在這之間存在着厚重的具有物理意義的可以進行結構分析的技術層

我想說這個結構層面現在並未得到充分的關注，我們對於結構的問題並不是非常清楚，對程序結構的穩定性更是少有經驗。我們在Witrix中做了大量的工作，試圖做到如下的圖景：

永遠只寫代碼片斷，而所有的代碼片斷組合在一起又構成一個可理解的整體

對背景不是分解讓其成爲可見的部分，而是採用追加的，增刪的方法對背景結構進行修正，則我們有可能在沒有完整背景知識的情況下，獨立的理解局部變化的結構。即背景是透明的，知識成爲局部的。

http://canonical.iteye.com/blog/126467
在Witrix中我們實現的代碼重用程度和程序整體結構控制能力是超越了目前所有已知的公開技術的。這不是什麼哲學，而是我們在殘酷的商業競爭中得以生存的資本。

號外：
不要把具體的技術和一種技術思想混爲一談。一種實現總是包容了太多的思想。思想錯了，實現對了。實現死了，思想活着。