方案排序

Question

我是 Scheme 的新手，我正在尝试通过阅读 Structure and Interpretation of Computer Programs 来熟悉该语言。我对排序有点困惑。

首先，我知道begin 关键字是为了允许排序而引入的，这样可以更轻松地对可变结构进行操作。我不明白的是，有时他们使用如下排序（受 SCIP 第 268 页上的示例启发）：

(define (stuff-0)
   (+ 1 2)
   (+ 1 3)
   'ok)

同样可以使用begin：

(define (stuff-1)
  (begin
    (+ 1 2)
    (+ 1 3)
    'ok))

这两者之间是否存在语义差异，或者第一个只是第二个的语法糖？

其次，除了实际重要性之外，理论上我们是否需要begin 构造？我想对于我们需要的每个序列，我们可以编写实现该序列的级联程序。这当然是不切实际的，但我只对没有 begin 构造的语言的表现力感兴趣。

Answer 1

很简单：在一个过程中，总是有一个隐式 begin。所以这个：

(define (f x)
  (begin
    <expression 1>
    <expression 2>
    <returned value>))

... 完全等价于这个：

(define (f x)
  <expression 1>
  <expression 2>
  <returned value>)

不，没有任何语义差异，上面的第二种形式只是第一种形式的语法糖。 begin 形式是必要的，因为必须有一种方法可以按指定的顺序执行一系列表达式只是为了它们的效果。请记住：在begin 中（或者就此而言，在一个过程中 - 它是相同的）所有表达式都按照它们出现的顺序执行，它们的结果值基本上被忽略了，最后只返回最后一个表达式的值.

Answer 2

每个 define special from 都包含一个隐含的 begin 子句。

对于新手来说，第二个例子更清楚，但对于有经验的人来说，这只是噪音。

您经常需要 begin 构造的一个地方是 if 语句的 then 或 else 子句。您还需要在匿名函数中使用它。

Answer 3

不需要显式的begin。如果您需要对某些内容进行排序，但没有begin，那么您可以这样做：

((lambda () <body1> <body2> ...))

实际上，以上内容正是您将begin 实现为宏的方式。以下是 R7RS 的语法定义：

 (define-syntax begin
    (syntax-rules ()
      ((begin exp ...)
       ((lambda () exp ...)))))

因此，您的陈述“我了解引入 begin 关键字以允许排序”并不真正正确。 begin 作为lambda 的基本排序结构的语法糖引入。