时间戳

首页 > 解决方案 > 支持套车的方案！和设置-cdr！在 scp

scheme - 支持套车的方案！和设置-cdr！在 scp

问题描述

我正在阅读SICP 4.1.3 Evaluator Data Structures

(define (make-frame variables values)
  (cons variables values))
(define (frame-variables frame) (car frame))
(define (frame-values frame) (cdr frame))
(define (add-binding-to-frame! var val frame)
  (set-car! frame (cons var (car frame)))
  (set-cdr! frame (cons val (cdr frame))))

但是，set-car!在球拍中被报告为无界。

然后尝试了“GNU Guile 2.2.6”，“GNU mit-scheme 10.1.10”的实现，不幸的是，set-car!都没有绑定。

搜索原版全书：

find . -type f -iname "*.org"  -exec grep --color -nH --null -e "set-car!" \{\} + |wc -l
27

在第 3 章第 4 和第 5 章中出现了 27 次，
在第 3 章中我更改了 setcar！到 elisp 的 setcar。但是对于元语言抽象的第 4 章来说，elisp 并不是一个好的选择。

第 4 章有点困难，因此现在有冒险的风险。

我找到了很好的解决方案set-car!, set-cdr! 在球拍中不受约束？

(require rnrs/mutable-pairs-6)

作为解决方案，如果替换set-car! set-cdr!为set-mcar! set-mcdr，第 4 章和第 5 章的代码将通过球拍实现顺利运行？

标签： schemeracketorg-modesicpmit-scheme

解决方案

请记住，Racket 支持多种语言。Inpairs#lang racket是不可变的，这意味着 mutatorsset-car!和set-cdr!不存在。如果您想使用#lang racket，您可以使用框列表。一个盒子可以保存一个值，您可以使用它set-box!来更改盒子保存的值。mcons或者，您使用用and构建的可变对（和可变列表）mlist，但结果可能有点麻烦。

#lang r5rs或中的对#lang sicp是可变的，这意味着您可以按原样使用 SICP 代码。

https://docs.racket-lang.org/sicp-manual/SICP_Language.html?q=sicp

如果您想知道为什么对在 中是不可变的#lang racket，请参阅： https ://blog.racket-lang.org/2007/11/getting-rid-of-set-car-and-set-cdr.html

推荐阅读