SICP 练习 2.04

Question

阅读 SICP 我现在在练习 2.04，这是 cons、car 和 cdr 的程序表示，在书中给出如下：

(define (cons x y)
  (lambda (m)
    (m x y)))

(define (car z)
  (z
    (lambda (p q)
      (p))))

请注意，为了运行代码，我在代码中使用 racket 和以下序言：

#lang racket
(define (Mb-to-B n) (* n 1024 1024))
(define MAX-BYTES (Mb-to-B 64))
(custodian-limit-memory (current-custodian) MAX-BYTES)

我也试过#lang scheme，但无济于事。

这是我的理解：

关于cons

• cons 返回一个函数。
• 此函数会将作为参数提供的另一个函数应用于cons 的两个参数x 和y。
• 这意味着通过调用cons，我们保留了将函数应用于两个参数的可能性，并且能够将它们视为某个单元。

关于car

• car 现在使用了这样一个事实，即我们可以通过将函数作为参数提供给函数，将函数应用于赋予 cons 的 2 个值的单元，我们从 cons 返回。
• 它为该函数提供一个 lambda 表达式，该表达式始终返回两个给定值中的第一个。

用法

起初我尝试了以下方法：

(car (cons 1 2))
(car (cons 2 3))
(car (cons (cons 1 1) (cons 2 2)))
(car (car (cons (cons 1 1) (cons 2 2))))

但是，这会导致错误：

:racket -l errortrace -t exercise-2.04-procedural-representation-of-pairs.rkt 
application: not a procedure;
 expected a procedure that can be applied to arguments
  given: 1
  arguments...: [none]
  errortrace...:
   /home/xiaolong/development/LISP/Racket/SICP/exercise-2.04-procedural-representation-of-pairs.rkt:24:6: (p)
   /home/xiaolong/development/LISP/Racket/SICP/exercise-2.04-procedural-representation-of-pairs.rkt:33:0: (car (cons 1 2))
  context...:
   /home/xiaolong/development/LISP/Racket/SICP/exercise-2.04-procedural-representation-of-pairs.rkt: [running body]

我不明白我的代码出了什么问题，所以我在其他人的解决方案中查找了一些使用示例。一个在http://community.schemewiki.org/?sicp-ex-2.4:

(define x (cons 3 4))
(car x)

但令我惊讶的是，它不起作用！ wiki 中的解决方案似乎是错误的。我收到以下错误：

application: not a procedure;
 expected a procedure that can be applied to arguments
  given: 3
  arguments...: [none]
  errortrace...:
   /home/xiaolong/development/LISP/Racket/SICP/exercise-2.04-procedural-representation-of-pairs.rkt:24:6: (p)
   /home/xiaolong/development/LISP/Racket/SICP/exercise-2.04-procedural-representation-of-pairs.rkt:42:0: (car x)
  context...:
   /home/xiaolong/development/LISP/Racket/SICP/exercise-2.04-procedural-representation-of-pairs.rkt: [running body]

我在这里做错了什么？

Answer 1

您的代码中有错误。而不是：

(define (car z)
  (z
    (lambda (p q)
      (p))))

你应该写（见book）：

(define (car z)
  (z
    (lambda (p q)
      p)))

请注意，最后一行 p 不带括号。

消息：application: not a procedure 表示 p 不是一个过程（它实际上是一个数字），而使用符号 (p) 您将其称为无参数过程。