為什么使用成對的“點”表示法應用函數可能是Racket中的語法錯誤？

Question

在Racket中，支持以下形式的函數定義：

(define (plus1 . x) (+ x 1))
(define (sum-all . l) (apply + l))

然后可以使用sum-all函數：

(sum-all 1 2 3)     ; => 6
(sum-all . (1 2 3)) ; => 6

但是，這不適用於plus1 ：

(plus1 . 0) ; bad syntax error

同樣的，

(define (sum-two a . b) (+ a b))
(sum-two 1 . 2) ; bad syntax error

為什么不允許這種語法？

Answer 1

申請表必須是正確列表的形式，而不是(sum-two 1 . 2) 。 另一方面， (sum-two 1 2 . ())是。

在(plus1 . x)的定義中， x旨在成為plus1正文中的列表。 的確，將plus1應用於任何參數將導致運行時錯誤。

Answer 2

在define形式中， (define (func . args) body)意味着無論您給func提供什么參數，它們都將被放入一個名為args列表中。

但是，當您調用該函數時，將其調用為(func . 1)根本沒有任何意義。 這就是為什么這是語法錯誤。