Posted on 2006-03-04 23:57
canonical 閱讀(817)
評論(2) 編輯 收藏 所屬分類:
設計理論
最近強調彈性設計的比較多，大概是因為需求的多變太令人撓頭了吧。但從道理上說，一個良好的設計必然是剛柔并濟的。所謂沒有規矩不成方圓，你能想象沒有鋼
筋骨架結構的高樓嗎。在基礎核心架構方面特別需要適當的剛性和足夠的穩定性，需要用接口明確表達出將用到的假設。內核穩定了，固化了，外圍的aspect
才能安全的織入到系統體系架構中來。象變形金剛那樣的自由組合變化的結構（在流動結構與固化結構之間轉換）目前還只是一種幻想。
強類型語言在控制大型系統的核心方面還是遠勝于弱類型腳本語言的。有些人認為單元測試可以取代編譯器的強類型語法檢查，這完全是一種臆想。程序的正確性應
該在不同的層面上得到約束，驗證，而不是一古腦的推到單元測試那里。在單元測試中對于概念一致性的保障是絕對無法與靜態類型檢查相比的。類型一致性的檢查
在編譯器的幫助下以非常低的成本就可以進行，而如果要在單元測試中實現同樣的約束，成本要高得多。有一點我們應該明確：除了功能實現代碼，其他任何文檔，
代碼都應該是多余的。為什么需要單元測試，那還不是因為沒辦法嘛。