closure應(yīng)用一例 （Common Lisp實(shí)現(xiàn)）

chenzengjie

http://72891.cn/thread-1260094-1-1.html
http://72891.cn/thread-1261686-1-2.html

1. 
   
2. (let ((s "                                       ")
   
3.       (i -1))
   
4.   (defun next ()
   
5.     (setf s (format nil "~A~A~A"
   
6.                     (subseq s 1 20)
   
7.                     (if (eql (char s 19) #\ )
   
8.                         (setf i (+ i 1))
   
9.                       #\ )
   
10.                     (subseq s 19 38)))))
    
11. 
    
12. (dotimes (n 20)
    
13.   (format t "~A~%" (next)))
    

復(fù)制代碼

win_hate

不錯(cuò)，交替插入空格或數(shù)字。

[ 本帖最后由 win_hate 于 2008-10-15 21:30 編輯 ]

x2

1. 
   
2. (define (tri from to)
   
3.   (define (left n)
   
4.     (cond ((> n 0)
   
5.                (display " ")
   
6.                (left (- n 1)))))
   
7.   (define (right n)
   
8.     (define (iter i)
   
9.       (cond ((< i 0)
   
10.                  (newline))
    
11.                 ((= 0 (remainder i 2))
    
12.                  (display " ")
    
13.                  (iter (- i 1)))
    
14.                 (else
    
15.                  (if (< i (/ n 2))
    
16.                      (display (/ (- i 1) 2))
    
17.                      (display (- (quotient n 2) (/ (- i 1) 2))))
    
18.              (iter (- i 1)))))
    
19.     (iter n))
    
20.   
    
21.   (cond ((< from to)
    
22.              (left (- to from))
    
23.              (right (- (* 2 from) 1))
    
24.              (tri (+ from 1) to))))
    
25. 
    

復(fù)制代碼

[ 本帖最后由 x2 于 2009-1-4 11:57 編輯 ]

MMMIX

closure 在 Perl 中被用來(lái)實(shí)現(xiàn)函數(shù)模板，在 Lisp 中應(yīng)該也可以起類(lèi)似的作用。

win_hate

原帖由 MMMIX 于 2009-1-4 11:49 發(fā)表
closure 在 Perl 中被用來(lái)實(shí)現(xiàn)函數(shù)模板，在 Lisp 中應(yīng)該也可以起類(lèi)似的作用。

perl 的 closure 具體指的是什么？這個(gè)詞我好像總是消化不了。在 SICP 中，對(duì) closure 描述為

In general, an operation for combining data objects satisfies the closure property if the results of combining things with that operation can themselves be combined using the same operation.

Closure is the key to power in any means of combination because it permits us to create hierarchical structures -- structures made up of parts, which themselves are made up of parts, and so on.

perl 的 closure 跟這個(gè)是一致的嗎？

[ 本帖最后由 win_hate 于 2009-1-4 12:11 編輯 ]

MMMIX

原帖由 win_hate 于 2009-1-4 12:09 發(fā)表


perl 的 closure 具體指的是什么？這個(gè)詞我好像總是消化不了。

Perl 的 closure 在 perlref 中介紹，執(zhí)行 perldoc perlref 然后搜索 closure 就能看到。在看 Scheme 的時(shí)候，也被 closure 搞的有點(diǎn)迷糊，不過(guò) perlref 中對(duì) closure 的解釋我倒是看明白了，它是這么說(shuō)的:

Closure is a nation out of the Lisp world that says if you define an anonymous function in a particular lexical context, it pretends to run in that context even when it's called outside the context.

下面緊接著就是個(gè)例子。

perl 的 closure 跟這個(gè)是一致的嗎？

不知道，你引的那兩段我沒(méi)看明白。

chenzengjie

這里的closure應(yīng)該是指帶有上下文的函數(shù)定義。
這在scheme里是內(nèi)建的，也就是函數(shù)的環(huán)境屬性。

sicp有注腳說(shuō)明了這兩種closure解釋的區(qū)別。

win_hate

SICP 上的說(shuō)的 Closure 指的是運(yùn)算封閉。

SICP 中文版 65 頁(yè)有一個(gè)注腳，說(shuō)：Lisp 社團(tuán)還用術(shù)語(yǔ)“閉包”描述一個(gè)與此毫不相干的概念：閉包也是一種表示帶有自由變量的過(guò)程而用的實(shí)現(xiàn)技術(shù)。

MMMIX 說(shuō)的 Closure 就是后一種。這個(gè)閉包似乎在計(jì)算機(jī)領(lǐng)域里更普遍一些，英文為 lexical closuer。

[ 本帖最后由 win_hate 于 2009-1-4 13:45 編輯 ]

MMMIX

原帖由 win_hate 于 2009-1-4 13:39 發(fā)表
SICP 上的說(shuō)的 Closure 指的是運(yùn)算封閉。

你一說(shuō)運(yùn)算封閉我就明白了

chenzengjie

運(yùn)算封閉我覺(jué)的實(shí)在不是一個(gè)好詞.

APL 如同鉆石，有著美妙的晶體結(jié)構(gòu)；它的所有部分都以一致和優(yōu)美的方式關(guān)聯(lián)在一起。但是如果你嘗試以任何方式擴(kuò)展這種結(jié)構(gòu) - 即使是增加另一個(gè)鉆石 - 你將得到一個(gè)丑陋的雜種。在另一方面，LISP 如同泥球。你可以向它增加任意數(shù)量的泥巴，它看起來(lái)還是個(gè)泥球。

由此看來(lái)closure這個(gè)概念在lisp里實(shí)在是很根本的.

[ 本帖最后由 chenzengjie 于 2009-1-4 14:01 編輯 ]