这个函数是什么意思呢？

Question

对于以下函数：

(define (update f x v)
  (λ ($x)
    (display $x)
    (newline)
    (if (equal? $x x)
        v
        (f $x))))

1. 这里的$是什么意思？

2. $x 从哪里来？

Answer 1

$ 在Scheme 中没有特殊含义——它只是一个与其他字符一样的字符。

至于第2部分：代码

(define (update f x v)
  (λ ($x)
    (display $x)
    (newline)
    (if (equal? $x x)
        v
        (f $x))))

相当于：

(define (update f x v)
  (define (DUMMY $x)
    (display $x)
    (newline)
    (if (equal? $x x)
        v
        (f $x)))
  DUMMY)    ;; Return the lambda

所以$x只是内部函数的一个参数，没什么特别的。

Answer 2

据我所知， $ 没有语法意义，它只是参数标识符的一部分（如变量名）。这似乎创建了一个以 $x 作为其唯一参数的匿名函数。