方案 lambda 函数中的默认参数？

Question

我最近开始使用 ChickenScheme，现在我想声明一个带有默认参数的函数（如果未指定）。 我在 Racket 网站上找到了这个例子，我知道 Racket 和 ChickenScheme 是不同的，但我认为这些基本的东西是一样的。

(define greet
  (lambda (given [surname "Smith"])
    (string-append "Hello, " given " " surname)))

这是 ChickenScheme 解释器的错误：

Error: during expansion of (lambda ...) - in `lambda' - lambda-list expected: (lambda (given (surname "Smith")) (string-append "Hello, " given " " surname))

Call history:

<syntax>      (define greet (lambda (given (surname "Smith")) (string-append "Hello, " given " " surname)))
<syntax>      (##core#set! greet (lambda (given (surname "Smith")) (string-append "Hello, " given " " surname)))
<syntax>      (lambda (given (surname "Smith")) (string-append "Hello, " given " " surname))    <--

Answer 1

在普通的 Scheme 中，您可以使用 dotted tail notation 获取附加参数列表，然后检查此列表以查看是否提供了额外参数：

(define greet
   (lambda (given . rest)
     (let ((surname (if (pair? rest) (car rest) "Smith")))
       (string-append "Hello, " given " " surname))))

因为这不是很方便，所以不同的 Scheme 系统为此提供了不同的选择。在 CHICKEN 中，我们支持DSSSL annotations，所以你可以这样做：

 (define greet
   (lambda (given #!optional (surname "Smith"))
     (string-append "Hello, " given " " surname)))

Answer 2

Racket 中optional arguments 的语法实际上是非标准的，所以不要指望其他解释器来实现它。在 Scheme 中，标准 功能是在 RxRS Scheme 报告中定义的，R7RS 是最新的。但不要害怕——在鸡计划中，你可以使用optional：

[syntax] (optional ARGS DEFAULT)

将此形式用于带有单个可选参数的过程。如果 ARGS 是空列表 DEFAULT 被评估并返回，否则列表的第一个元素 ARGS。如果 ARGS 包含多个值，则会出错。

像这样使用它：

(define (greet given . surname)
  (string-append "Hello, " given " " (optional surname "Smith")))