SICP 筆記--Abstractions with procedures

計(jì)算機(jī)語(yǔ)言的主要功能:

  • 基本操作符和操作單位(eg: number 和 加減法)
  • 聚合的方法,把多個(gè)元素集合為一(eg: 1+1)
  • 抽象的方法,讓一個(gè)復(fù)雜的元素作為一個(gè)單元使用(eg: function)

函數(shù)調(diào)用方法:

  • 正常序:先完全展開(kāi)再計(jì)算
  • 應(yīng)用序:邊計(jì)算邊展開(kāi)

例如:

(define (sqrt x) (* x x))
(+ (sqrt (sqrt 3)) (sqrt 4))
  • 正常序:(+ (* (* 3 3) (* 3 3)) (* 4 4)) => 97
  • 應(yīng)用序:(+ (* 9 9) 16) => 97

迭代與遞歸:

一直有很多人認(rèn)為遞歸就是函數(shù)調(diào)用自身。而實(shí)際上這里指的“遞歸”只是函數(shù)處理的形式,而并不是遞歸的處理形式。處理形式上迭代和遞歸的區(qū)別是,迭代保存了當(dāng)前的運(yùn)行狀態(tài),無(wú)需展開(kāi)后再執(zhí)行收縮,而遞歸是展開(kāi)完全后再計(jì)算收縮。例如迭代即使中途停止,只要給它一個(gè)狀態(tài)值就可以得到最終結(jié)果,而遞歸就不行,它沒(méi)有顯式保存狀態(tài)值,必須從頭開(kāi)始運(yùn)算。以調(diào)用自身的方式進(jìn)行迭代的過(guò)程,我們稱(chēng)之為尾遞歸。

線(xiàn)性遞歸:

(define (factorical n)
    (if (= n 1)
        1
        (+ n (factorical (- n 1))))) 

樹(shù)形遞歸:

斐波那契:

(define (fib n)
    (cond ((= n 0) 0)
          ((= n 1) 1)
          (else (+ (fib (- n 1))
                   (fib (- n 2))))))    

換零錢(qián)的方法數(shù):

(define (count-change amount kinds-of-coins) (cc amout 5))
    (define (cc amount kinds-of-coins)
        (cond ((= amount 0) 1)
              ((or (< amount 0) (= kinds-of-coins 0)) 0)
              (else (+ (cc amount (- kinds-of-coins 1))
                       (cc (- amount (value kinds-of-coins)) kinds-of-coins))))))
                       

換零錢(qián)的方法數(shù) = 不使用使用當(dāng)前面額的方法數(shù) + 使用當(dāng)前面額的方法數(shù)

指數(shù):

計(jì)算一個(gè)數(shù)的平方時(shí)一般用這個(gè)方法:

(define (exponent b n)
  (cond ((= n 0) 1)
        (else (* b (exponent b (- n 1))))))

這樣計(jì)算的時(shí)間復(fù)雜度是 O(n),但是我們有更好的方法。先判斷指數(shù)為奇數(shù)還是偶數(shù),當(dāng)為偶數(shù)時(shí)調(diào)用 square,為奇數(shù)就 (* b (exponent b (- n 1))),這樣就可以減少接近一半的函數(shù)調(diào)用,時(shí)間復(fù)雜度為 O(log2 n)

(define (fast-exponent b n)
  (cond ((= n 0) 1)
        ((even? n) (square (fast-exponent b (/ n 2))))
        (else (* b (fast-exponent b (- n 1))))))
(define (square x) (* x x))

高階函數(shù):

在 lisp 中,函數(shù)可作為一個(gè)參數(shù)傳進(jìn)另一個(gè)函數(shù)里面,這樣的話(huà)我們就能實(shí)現(xiàn)一個(gè)更為抽象的函數(shù)(高階函數(shù))。

例如一個(gè)我們實(shí)現(xiàn)一個(gè) sum 函數(shù),讓它進(jìn)行從 ab 的平方累加運(yùn)算:

(define (sum f a next b)
  (if (> a b)
      0
      (+ (f a) (sum f (next a) next b))))
(define (normal-sum a b)
  (sum 
    (lambda (x) (* x x)) 
    a 
    (lambda (x) (+ x 1)) 
    b))

然后,我們發(fā)現(xiàn)其實(shí)可以總結(jié)為一個(gè)更高階的函數(shù) accumulate,進(jìn)行任意地累次運(yùn)算。

(define (accumulate combiner null-value f a next b)
  (if (> a b)
      value
      (combiner (f a) (sum f (next a) next b))))
(define (sum f a next b)
  (accumulate + 0 f a next b))

返回函數(shù)

函數(shù)可作為一個(gè)返回值,當(dāng)我們返回一個(gè)函數(shù)時(shí),這通常代表返回的函數(shù)派生自接受的函數(shù)。

(define (transform f) (lambda (y) (+ (f x) 1)))
(define num (transform (lambda (x) (* x x)) 4))

總結(jié)

sicp 的第一章主要講一個(gè)函數(shù)是怎樣從只適用于特定環(huán)節(jié),到抽象成適用于類(lèi)似的通用情況。這一章用了很多的數(shù)學(xué)公式,從牛頓迭代法到微積分,sicp 利用了牛頓迭代法是微分的特殊情況,構(gòu)造了微分的方法,并從微分中派生出了牛頓迭代法,利用不定點(diǎn)根據(jù)牛頓迭代的函數(shù)進(jìn)行搜索,可以說(shuō)是抽象到了極致。我們?cè)趯?xiě)自己的程序時(shí)可以適當(dāng)考慮一下是否可以抽象,以及是否有必要抽象,要根據(jù)實(shí)際情況選擇抽象的等級(jí)。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書(shū)系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。
  • 序言:七十年代末,一起剝皮案震驚了整個(gè)濱河市,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌,老刑警劉巖,帶你破解...
    沈念sama閱讀 230,431評(píng)論 6 544
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場(chǎng)離奇詭異,居然都是意外死亡,警方通過(guò)查閱死者的電腦和手機(jī),發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 99,637評(píng)論 3 429
  • 文/潘曉璐 我一進(jìn)店門(mén),熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái),“玉大人,你說(shuō)我怎么就攤上這事。” “怎么了?”我有些...
    開(kāi)封第一講書(shū)人閱讀 178,555評(píng)論 0 383
  • 文/不壞的土叔 我叫張陵,是天一觀的道長(zhǎng)。 經(jīng)常有香客問(wèn)我,道長(zhǎng),這世上最難降的妖魔是什么? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 63,900評(píng)論 1 318
  • 正文 為了忘掉前任,我火速辦了婚禮,結(jié)果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當(dāng)我...
    茶點(diǎn)故事閱讀 72,629評(píng)論 6 412
  • 文/花漫 我一把揭開(kāi)白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上,一...
    開(kāi)封第一講書(shū)人閱讀 55,976評(píng)論 1 328
  • 那天,我揣著相機(jī)與錄音,去河邊找鬼。 笑死,一個(gè)胖子當(dāng)著我的面吹牛,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,976評(píng)論 3 448
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼!你這毒婦竟也來(lái)了?” 一聲冷哼從身側(cè)響起,我...
    開(kāi)封第一講書(shū)人閱讀 43,139評(píng)論 0 290
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒(méi)想到半個(gè)月后,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 49,686評(píng)論 1 336
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 41,411評(píng)論 3 358
  • 正文 我和宋清朗相戀三年,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片。...
    茶點(diǎn)故事閱讀 43,641評(píng)論 1 374
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 39,129評(píng)論 5 364
  • 正文 年R本政府宣布,位于F島的核電站,受9級(jí)特大地震影響,放射性物質(zhì)發(fā)生泄漏。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 44,820評(píng)論 3 350
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 35,233評(píng)論 0 28
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)。三九已至,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 36,567評(píng)論 1 295
  • 我被黑心中介騙來(lái)泰國(guó)打工, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個(gè)月前我還...
    沈念sama閱讀 52,362評(píng)論 3 400
  • 正文 我出身青樓,卻偏偏與公主長(zhǎng)得像,于是被迫代替她去往敵國(guó)和親。 傳聞我的和親對(duì)象是個(gè)殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 48,604評(píng)論 2 380

推薦閱讀更多精彩內(nèi)容