構(gòu)造過程抽象

程序設(shè)計(jì)的基本元素

一個(gè)健壯的語言，不僅是一種指揮計(jì)算機(jī)執(zhí)行任務(wù)的方式，也是一種框架，使我們組織關(guān)于計(jì)算過程的思想。
每一個(gè)健壯的語言都有下面三種機(jī)制：

  • 基本表達(dá)形式(primitive elements)
  • 組合的方法(means of combination)
  • 抽象的方法(means of abstraction)

在程序設(shè)計(jì)中，我們需要處理兩類要素：

  • 數(shù)據(jù)（DATES）
  • 過程（PROCEDURES）

數(shù)據(jù)使一種我們希望去操作（manipulate）的"東西（stuff）"
過程是描述操作這些數(shù)據(jù)的規(guī)則
不過實(shí)際上兩者并不是這么嚴(yán)格分開的。

  • 表達(dá)式
  • 命名和環(huán)境
  • 命名是一種受限的抽象
  • 組合式的求值
  • 復(fù)合過程
  • 過程應(yīng)用的代換模型
  • 條件表達(dá)式和謂詞
  • 過程作為黑箱抽象

過程與他們所產(chǎn)生的計(jì)算

最后編輯于 ：
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成，瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明：文章內(nèi)容（如有圖片或視頻亦包括在內(nèi)）由作者上傳并發(fā)布，文章內(nèi)容僅代表作者本人觀點(diǎn)，簡(jiǎn)書系信息發(fā)布平臺(tái)，僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容