canonical

　　循環(huán)結(jié)構(gòu)是imperative language的重要組成部分，一般也是程序中比較難以理解的部分。特別是沒有軟件技術(shù)背景的朋友，明顯對(duì)于循環(huán)的理解力較弱。在Von　 Neumann體系結(jié)構(gòu)中，賦值語(yǔ)句是必須的，因而引出了存儲(chǔ)概念，也引入了時(shí)間概念，因?yàn)槲覀兛梢詤^(qū)分出賦值前和賦值后的時(shí)刻。引入時(shí)間之后，本質(zhì)性的 影響是程序串行化，而強(qiáng)迫我們從并行思考轉(zhuǎn)入串行處理。很多時(shí)候這是一種不自然的情況，在我們的自然思維中，我們看到的或想到的也許只是一組靜態(tài)結(jié)構(gòu)，但 在程序中表達(dá)的時(shí)候卻往往不可避免的需要引入一個(gè)動(dòng)態(tài)過程。而我們控制動(dòng)態(tài)結(jié)構(gòu)的能力總是不足的。最近對(duì)于函數(shù)式語(yǔ)言及處理風(fēng)格的越來越強(qiáng)烈的要求可能也 從側(cè)面反映了大家對(duì)這種結(jié)構(gòu)失配的不滿。
　　　但是串行思維毫無疑問也是我們正常思維模式的一部分（當(dāng)然這種思維模式在多大程度上是因?yàn)閂on Neumann 體系造成的，也是個(gè)很有趣的問題）。例如在頁(yè)面渲染的時(shí)候，我們可能希望預(yù)先把所有用到的數(shù)據(jù)都轉(zhuǎn)載到內(nèi)存中，賦予不同的變量名，然后在頁(yè)面模板中我們只 要知道如何把這些數(shù)據(jù)變量表現(xiàn)出來就可以了。先做完A再做B，這是分層的思想，也是典型的串行思維。而基于數(shù)據(jù)進(jìn)行處理，也是Von Nenuman體系的基本思想。但是如果處處要求預(yù)先計(jì)算并賦值，往往增加了很多額外的步驟(glue code)，并且增大了對(duì)內(nèi)存（計(jì)算空間）的需求。分層之后，還存在著一個(gè)各個(gè)層次之間結(jié)構(gòu)匹配的維護(hù)問題。
　　　面向?qū)ο笤诮Y(jié)構(gòu)表達(dá)方面是一種 巨大的進(jìn)步。經(jīng)過多年的發(fā)展，我們?cè)诒磉_(dá)靜態(tài)結(jié)構(gòu)關(guān)系方面已經(jīng)是駕輕就熟了。通過屬性關(guān)聯(lián)，我們可以沿著對(duì)象圖進(jìn)行結(jié)構(gòu)遍歷。如果使用成員函數(shù)，在這種遍 歷過程中還可以包容更多的動(dòng)態(tài)特性。而在數(shù)據(jù)持久化方面，ORM的盛行也在一定程度上證明了對(duì)象圖的有效性。使用對(duì)象圖可以大大降低對(duì)賦值語(yǔ)句的需求，減 輕了明確建模的壓力（每一次賦值都要求著一個(gè)明確的變量名，一個(gè)概念），也緩解了Von Neuman體系結(jié)構(gòu)的束縛。例如，我們不再需要
　var user = loadUser(userId);
  var userOrgnization = loadOrgnization(user.orgId);
  var userOrgnizationName = userOrgnization.name
而是直接使用　　user.orgnization.name