与r6rs不兼容的球拍列表？

Question

我正在编写一个程序，在这个程序中我必须重用我的一位教授的代码。我的程序是用Racket编写的，我想要重用的代码是用r6rs编写的。

当我想测试我的程序时，它总是失败的。这是因为我用as参数调用了一个过程-- list ( list)，但是这个过程在R6RS文件中。在R6RS文件中有(assert (list? argument))，这是总是false.

这里有一个简单的例子: Racket代码：

#lang racket
(require "test2.ss")

(define a (list 1 2 3))
(b a)

R6RS代码：

#!r6rs

(library 
 (test)
 (export b)
 (import (rnrs base (6))
         (rnrs control (6))
         (rnrs lists (6))
         (rnrs io simple (6)))

 (define (b a)
   (display "a is : ") (display a) (newline)
   (display "list? : ") (display (list? a)) (newline)))

list?文件中的R6RS测试总是错误的.即使我以参数的形式传递一个新创建的列表，如上面的示例所示。

我怎样才能像上面的例子那样做，使list?测试结果为真。

谢谢你的帮忙!

编辑:我找不到在不可变列表上得到true的r6rs测试，但我找到了另一种解决问题的方法(将可变列表传递给过程)。

Answer 1

这只是Alexis答案的一个补充(代码示例不能出现在评论中)。由于r6rs语言(如在racket中实现的)使用可变列表，而且所有的racket库都期望不可变列表，所以不能按原样重用r6rs代码。重用代码的最快方法是将其移植到#lang racket语言。

更改语言，删除导入语句，然后每次修复每个错误。

#lang racket

 (define (b a)
   (display "a is : ") (display a) (newline)
   (display "list? : ") (display (list? a)) (newline)))

Answer 2

当你说你的代码是用球拍写的。您指的是Racket，软件，还是#!racket，它是Racket (软件)支持的多种兼容语言之一？

因为您的库是用#!r6rs编写的，所以您要么需要将它移植到#!racket模块，要么您的主程序可以用#!r6rs编写，您可以按原样使用这个库。第三种选择是使可变的列表传递给库函数，并将所有的表都转换回来，但或者禁止列表，但是我发现这个选项不太理想。

要完成完整的#!r6rs，您需要像这样安装库：

plt-r6rs --force --install ./test.sls

我假设test.sls在当前目录中。你会得到确认的。不需要重新启动DrRacket。(不需要强制，但它将覆盖早期版本。)然后，您只需将代码更改为Scheme代码：

#!r6rs
(import (rnrs)
        (test))

(define a (list 1 2 3))
(b a) ; #<void> (and prints stuff to stdout)

点击运行在DrRacket和看到魔术！