( (lambda x x) 2 3 4 5)

pigjj

scheme
lambda 的syntax  是： (lambda  (formals) (body) )

( (lambda x x) 2 3 4 5)  什么意思�。�
這里 第一個(gè)x 是 形參？ 第二個(gè)x 是 body ?  2 3 4 5  其實(shí)是一個(gè) 傳遞給它的 實(shí)參列表 ' (2 3 4 5) ？？

win_hate

可以參考 “The Scheme Programming Language" 的 2.5 [點(diǎn)這里]

相關(guān)的是這一段：

As mentioned above, the general form for lambda is a bit more complicated than the form we saw earlier, in that the formal parameter specification, (var ...), need not be a proper list, or indeed even a list at all. The formal parameter specification can be in any of the following three forms.

    * a proper list of variables, (var1 ... varn), such as we have already seen,

    * a single variable, varr, or

    * an improper list of variables, (var1 ... varn . varr).

In the first case, exactly n actual parameters must be supplied, and each variable is bound to the corresponding actual parameter. In the second, any number of actual parameters is valid; all of the actual parameters are put into a single list and the single variable is bound to this list. The third case is a hybrid of the first two cases. At least n actual parameters must be supplied. The variables var1 ... varn are bound to the corresponding actual parameters, and the variable varr is bound to a list containing the remaining actual parameters. In the second and third cases, varr is sometimes referred to as a "rest" parameter because it holds the rest of the actual parameters beyond those that are individually named.

[ 本帖最后由 win_hate 于 2009-1-25 22:42 編輯 ]

chenzengjie

(lambda x x) 表示:
這是個(gè)匿名函數(shù), 參數(shù)列表為x, 函數(shù)體只有一個(gè)表達(dá)式, 就是返回參數(shù)列表x.
(lambda (x) x)表示:
這個(gè)函數(shù)的參數(shù)列表是(x), 這里x表示它的第一個(gè)參數(shù).

無(wú)論如何, lambda表達(dá)式的第二個(gè)元素是它的參數(shù)列表.

再看
(lambda (x . y) y) 表示:
這個(gè)函數(shù)的參數(shù)列表是(x . y), x是第一個(gè)參數(shù), y表示余下參數(shù)組成的列表.

NalaGinrut

原帖由 pigjj 于 2009-1-25 22:23 發(fā)表
scheme
lambda 的syntax  是： (lambda  (formals) (body) )

( (lambda x x) 2 3 4 5)  什么意思��？
這里 第一個(gè)x 是 形參？ 第二個(gè)x 是 body ?  2 3 4 5  其實(shí)是一個(gè) 傳遞給它的 實(shí)參列表 ' (2 3 4 5 ...

你理解得很正確，第一個(gè)就是形參，第二個(gè)是body。
如果你不敢確認(rèn)后面的2 3 4 5不是list，那分開(kāi)調(diào)用可以看得清楚些：
(define fun
(lambda x
x))    ;什么都不做，直接返回傳入值
執(zhí)行(fun 2 3 4 5)，結(jié)果
'(2 3 4 5)

(lambda x x)這樣的寫(xiě)法容易引起混亂，比較規(guī)矩的寫(xiě)法還是把參數(shù)列表括起來(lái)，這樣：
(lambda (x) x)就不會(huì)引起混淆了。