關(guān)于我們
書單推薦
新書推薦
|
軟件靈活性設(shè)計 讀者對象:本書適合高等院校計算機相關(guān)專業(yè)的學生學習,也可供專業(yè)技術(shù)人員參考
本書主要介紹如何利用數(shù)學符號操作、基于規(guī)則的系統(tǒng)和通用程序構(gòu)建靈活的軟件,并利用依賴系統(tǒng)跟蹤、解釋和控制回溯。第1章通過對編程哲學的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構(gòu)建易于擴展的系統(tǒng)。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配,首先啟用術(shù)語重寫系統(tǒng),然后通過合一展示類型推理的實現(xiàn)。第5章探討解釋和編譯。第6章展示如何構(gòu)造分層數(shù)據(jù)和分層程序的系統(tǒng),并用各種元數(shù)據(jù)注釋其中的數(shù)據(jù)項。第7章引入傳播這一概念來擺脫計算機語言的面向表達式范式。
你還可能感興趣
我要評論
|