Question

我正在使用GNU / MIT Scheme：

1 ]=> (+)

;Value: 0

1 ]=> (*)

;Value: 1

1 ]=> (-)

;The procedure #[arity-dispatched-procedure 2] has been called with 0 arguments; it requires at least 1 argument.
;To continue, call RESTART with an option number:
; (RESTART 1) => Return to read-eval-print level 1.

2 error> (/)

;The procedure #[arity-dispatched-procedure 3] has been called with 0 arguments; it requires at least 1 argument.
;To continue, call RESTART with an option number:
; (RESTART 2) => Return to read-eval-print level 2.
; (RESTART 1) => Return to read-eval-print level 1.

为什么+和*分别被评估为0和1。为什么评估-和/会引发错误？

这是Scheme定义的一部分还是GNU / MIT Scheme中的实现细节？

Answer 1

这背后的原因是+和*具有标识元素

1 * x = x * 1 = x
0 + x = x + 0 = x

虽然-和/具有正确的身份，但作为左关联运算符，这会否定（双关语）它们的值。考虑到变量加号作为数字列表的折叠是有意义的，因为从数学角度来看，初始元素是一个标识，你不能将它与将它们一个一个地加在一起区分开来。此外，空列表上的折叠只是种子元素，即身份。

但是，由于-和/缺少标识元素，因此没有合理的默认值返回。

它是R5RS

的一部分

Answer 2

如果从+或*的角度考虑fold或reduce，您会发现他们需要种子或累加器价值。对于*，1是有道理的。对于+ 0有意义。所以你要回到reduce的种子/累加器。

这也是规范的一部分。 http://gnuvola.org/software/guile/doc/Arithmetic.html#index-g_t_002a-487

为什么+和*分别评估为0和1？

2 个答案: