canonical

? 幾年前Michael Atiyah受邀在浙江大學(xué)做過(guò)一個(gè)講演，題目是Mathematics in the 20th Century,
http://www.cnw3.org/smth/Mathematics/historiesandmathmaticians/goodessays/00000035.htm， 在其中他回顧了二十世紀(jì)的主要的數(shù)學(xué)發(fā)展。被他列在第一條的進(jìn)展就是From Local To Global. 在傳統(tǒng)上，數(shù)學(xué)的主要研究對(duì)象是一些得到顯性表達(dá)的局部公式，而拓?fù)鋵W(xué)對(duì)于整體性的“不變性質(zhì)”的研究最終將我們對(duì)于數(shù)學(xué)和物理學(xué)的理解推進(jìn)到一個(gè)新的高度。我想在其他領(lǐng)域中，這種認(rèn)識(shí)上的深化也將是一個(gè)必然的過(guò)程。隨著AOP這種大范圍結(jié)構(gòu)操縱技術(shù)的興起，軟件技術(shù)是否也發(fā)展到了可以對(duì)程序的整體結(jié)構(gòu)做一些反思的時(shí)候？
? 面向?qū)ο笥惺裁从?？它是在各個(gè)層面都可以使用的一種描述工具。從一些早期的文獻(xiàn)我們可以看出一些端倪，一種整體性的均一的概念是我們迫切需要的。對(duì)象可以構(gòu)成對(duì)象，Everything is Object. 只是因?yàn)槲覀儗?duì)這些太熟悉以致于在今天看來(lái)顯得有些陳腐。很多人現(xiàn)在津津樂(lè)道于CoC（Convention over Configuration)作為一種局部程序設(shè)計(jì)技巧所帶來(lái)的可以少些一些代碼的經(jīng)濟(jì)性，卻沒(méi)有看到CoC更大的作用在于在大范圍內(nèi)保持了程序結(jié)構(gòu)的一致性，使得某些輕靈的設(shè)計(jì)可以在框架層面得以展現(xiàn)。目前的框架技術(shù)更多的是在各個(gè)層面各自為戰(zhàn)，如何將同樣的信息從局部傳播到整體是一個(gè)耐人尋味的問(wèn)題。
?? 傳統(tǒng)上的程序世界缺乏一些具體的技術(shù)手段使得我們可以方便的觸及到程序的整體結(jié)構(gòu)部分，這些整體性的關(guān)聯(lián)更多的是存在于文檔中，存在于我們的思想中，存在于程序表達(dá)世界之外。而AOP技術(shù)從本質(zhì)上說(shuō)也只是方便在各個(gè)層面實(shí)現(xiàn)某種局域化的抽象。 當(dāng)某些東西被拘束在某個(gè)具體的孤立的點(diǎn)中的時(shí)候，我們似乎就可以松一口氣了。但是在程序中仍然存在著大量"弱"的關(guān)聯(lián)，它們很難被清晰的局域化。模型(Model)和Meta必然在程序構(gòu)建的過(guò)程中扮演愈加重要的角色。AOP只是一種技術(shù)手段，它必須和更加寬廣的框架技術(shù)和模型構(gòu)建技術(shù)結(jié)合才能起到最大的作用。???