canonical

不知道你那個(gè)Witrix，，商業(yè)上發(fā)展得如何。

我曾參與創(chuàng)建過一個(gè)屬于找死型的國(guó)內(nèi)做通用開發(fā)工具的公司。雖然后來痛感國(guó)內(nèi)通用軟件市場(chǎng)的腐爛轉(zhuǎn)而做起了電子行業(yè)，不過關(guān)于開發(fā)工具和語言的思考一直沒有停止。

和這里的人相比，我對(duì)現(xiàn)在這些新的語言和發(fā)展有些隔膜了，不過很多東西由于能和我的思考對(duì)應(yīng)上，雖然缺少實(shí)踐也能理解一二。

在你的文章中看到了不少同感，嘗試做點(diǎn)交流，雖然很難互相理解，但我可以嘗試表達(dá)一下：

1 受到認(rèn)識(shí)論的一些啟發(fā)，我想我們首先應(yīng)該將軟件開發(fā)的過程定義為一個(gè)科學(xué)發(fā)現(xiàn)的過程，一個(gè)通過理性分析建構(gòu)邏輯模型的過程，是在理論-事實(shí)的迭代中逐漸完善的。這一點(diǎn)已經(jīng)是共識(shí)，但目前的工具尚未對(duì)這個(gè)過程提供完好的支持。這我們可以從系統(tǒng)重構(gòu)時(shí)程序員大量的查找替換拷貝粘貼就可以看出來。

2 不能以輕視的態(tài)度看待所謂的語法糖，拋開OO的所謂哲學(xué)，僅僅把那些所謂的抽象看作語法糖。其實(shí)沒有什么抽象的概念，當(dāng)我們說“繼承”，其實(shí)只不過是在說一段代碼，而且一般來說是在設(shè)計(jì)時(shí)運(yùn)行的代碼罷了。如果“繼承”代碼在運(yùn)行時(shí)運(yùn)行，那就變成了一種具有病毒特征的高效的動(dòng)態(tài)語言。

3 設(shè)計(jì)時(shí)與運(yùn)行時(shí)的關(guān)系，尚未得到徹底的分析，我想一旦深入理解了這種關(guān)系，所謂靜態(tài)語言與動(dòng)態(tài)語言的鴻溝就不復(fù)存在，我們可以在效率與靈活性之間從容取舍。

4 再來看所謂的現(xiàn)代開發(fā)工具對(duì)效率的要求不高的說法，也是有前提的。我們只不過感受不到效率的限制而已。事實(shí)上，對(duì)效率的要求，已經(jīng)使我們被迫放棄一些看起來優(yōu)雅的設(shè)計(jì)。舉一個(gè)極端的例子，在位圖編程中，我們無法把單獨(dú)的像素看作一個(gè)一個(gè)的對(duì)象，即使這可以讓程序看起來簡(jiǎn)單。如何讓優(yōu)雅與高效并存，也是一個(gè)不小的課題。雖然完全并存是不可能的，但我以為現(xiàn)有的語言在這方面的提升空間還相當(dāng)大。

5 程序員之間的交流，文檔是靠不住的，唯一靠得住的就是代碼，包括靜態(tài)的，尤其是動(dòng)態(tài)運(yùn)行的。未來的開發(fā)工具應(yīng)該正視這個(gè)問題，為程序員之間的交流提供優(yōu)秀的方案，這看起來是提高團(tuán)隊(duì)工作效率的最有效的方法了。舉一個(gè)另類的例子，可不可以在一段代碼上附加一個(gè)錄音注釋呢？

6 AOP所揭示的是一個(gè)方向，但目前做得遠(yuǎn)遠(yuǎn)不夠。設(shè)想一下我們?cè)谠O(shè)計(jì)程序的過程中頭腦中浮現(xiàn)出來的各種隱喻，指導(dǎo)我們敲下代碼的頭腦中的模型。當(dāng)我們對(duì)接班的程序員介紹的時(shí)候，是先給他講這些隱喻，模型更有效率呢，還是直接看一段糅合了N個(gè)思路的代碼更有效率？其實(shí)，在瀏覽代碼時(shí)，我們也只能通過恢復(fù)設(shè)計(jì)者的數(shù)個(gè)思路來理解，而不是直接通過代碼來理解。

7 讓用戶編程，似乎是個(gè)瘋狂的想法，但在某些時(shí)候，編程比操作按鈕來得更加友好。以此為思路，任何軟件都是一個(gè)自開發(fā)的工具。

8 大教堂與市集的愿景是好的，但缺少一條最根本的東西，商業(yè)利益驅(qū)動(dòng)，不同于那些軟件共產(chǎn)主義分子，我認(rèn)為一個(gè)靈活的市場(chǎng)機(jī)制，是發(fā)揮每個(gè)人效能的最佳環(huán)境。我們未來應(yīng)不必在opensource和closesource之間進(jìn)行取舍，這也是開發(fā)工具所應(yīng)支持的。

9 在一個(gè)復(fù)雜的繼承關(guān)系中，基礎(chǔ)類的修改往往意味著新產(chǎn)生無數(shù)的Bug。其實(shí)，如果在運(yùn)行時(shí)引入版本概念，我們往往可以對(duì)系統(tǒng)進(jìn)行細(xì)微的，不那么符合OO的小修改，但是卻能很好的工作，也能很好的理解。至于不符合審美的問題，如果是工程，那么就此結(jié)束，如果要復(fù)用，那么再繼續(xù)調(diào)整。OK，這里談到我的一個(gè)核心概念，把繼承當(dāng)作版本來處理，版本管理所能處理的要更加廣泛靈活，而繼承只不過是一個(gè)特例的應(yīng)用而已。

目前我們主要基于witrix研發(fā)行業(yè)軟件，本身并無意推廣witrix平臺(tái)。現(xiàn)在witrix所承載的核心應(yīng)用對(duì)它的靈活性和性能都有著很高的要求。
1. witrix技術(shù)的創(chuàng)新之處在于提供了程序結(jié)構(gòu)的新的抽象和融合方式，它所帶來的價(jià)值主要是程序的持續(xù)改進(jìn)能力。在公司里我們是嚴(yán)禁拷貝粘貼的。可以重用的業(yè)務(wù)邏輯總可以抽象為某種技術(shù)實(shí)體。
2. domain specific的語法我們認(rèn)為非常重要。很多人傾向于使用非常強(qiáng)大的語言，這種語言允許構(gòu)造所有復(fù)雜的局部結(jié)構(gòu)，但是在我們看來，再?gòu)?fù)雜的通用語言也無法涵蓋各異的業(yè)務(wù)邏輯，而語言本身提供的抽象能力至關(guān)重要。同時(shí)我們還非常關(guān)注于抽象出的技術(shù)結(jié)構(gòu)的穩(wěn)定性。假如做一件事情有n種語義等價(jià)的方式，而且沒有一種強(qiáng)制手段可以進(jìn)行形式校驗(yàn)，則任何一種抽象得到的結(jié)構(gòu)都是不穩(wěn)定的，因?yàn)槲覀兛偸菚?huì)受到各種誘惑偏離一種固定的形式，最終造成形式的解體。
3. 我們?cè)诰幾g期作了很多工作，這是解決系統(tǒng)結(jié)構(gòu)問題的一種重要手段。在沒有得到全部信息的情況下（沒有運(yùn)行時(shí)的數(shù)據(jù)信息），即使沒有類型概念，我們?nèi)匀豢梢栽诮Y(jié)構(gòu)方面作很多文章。
4. 現(xiàn)在很多情況下其實(shí)是沒有很好的抽象方式。比如說，如果把位圖的每個(gè)像素都看作一個(gè)具有自我活動(dòng)能力的對(duì)象，我們遇到的問題首先是巨大的管理成本，這遠(yuǎn)不如把它看作只接受外部控制的數(shù)據(jù)信息更直觀，更簡(jiǎn)單。一些所謂優(yōu)雅的設(shè)計(jì)只是在最模糊的印象上似乎很時(shí)尚， 但是真正細(xì)致到細(xì)節(jié)的時(shí)候，它遠(yuǎn)不能提供我們所需要的結(jié)構(gòu)控制能力。
5. 代碼是交流的重要工具。witrix設(shè)計(jì)的一個(gè)重要目標(biāo)就是代碼的可描述性，編碼的過程就是描述系統(tǒng)結(jié)構(gòu)的過程。我們正在盡力縮小需求描述與代碼結(jié)構(gòu)之間的概念差距。但是很多時(shí)候代碼是信息不完全的，有些信息我們寫在了代碼之外的文檔中，特別是一個(gè)設(shè)計(jì)的原因是什么，為什么采用當(dāng)前的處理方式。
6. AOP的原始形式存在一些隱蔽的問題，直接應(yīng)用AOP效果是有限的。在witrix中我們是對(duì)AOP的概念體系進(jìn)行了補(bǔ)充，才定義出足夠強(qiáng)大的結(jié)構(gòu)組合方式。
7. 對(duì)程序員來說代碼更加便捷，但是工具仍然是有效的，它可以限制程序的可能性，大大提高我們構(gòu)造某種業(yè)務(wù)流程的可靠性。
8. 商業(yè)是一方面，人的精神和傳統(tǒng)是另一方面。
9. witrix目前就在運(yùn)行時(shí)管理著大量的代碼版本，繼承只是一種初級(jí)的結(jié)構(gòu)融合手段。

對(duì)設(shè)計(jì)有興趣的朋友可以通過 canonical.cqh@gmail.com聯(lián)系我