Scheme 高阶函数

Question

我尝试创建一个将列表中的二进制数转换为字符串的过程。示例输出：(binary->string '(1 1 0 1 0 0)) 应该给出"110100"。

(define reduce
      (lambda (op base x) ;passing by name
        (if (null? x)
            base
            (op (car x) (reduce op base (cdr x))))))

这是我的代码：

(define (binary->string lst)  
   (reduce (number->string lst list->string  )))

我知道这是错误的，但这是迄今为止我提出的最好的。请帮助我使其正常工作。

Answer 1

在我向您展示解决方案之前，这里有一些建议：当您编写 Racket 代码时，您应该检查正确的参数数量及其类型。

在这种情况下，您知道reduce 需要(op base x)，即三个参数，但是当您使用一些未知函数时，例如number->string，则有Racket documentation 并且经过短暂搜索后，您填写find @ 987654322@入口：

(number->string z [radix]) → string?

z : 数字？

基数：(或/c 2 8 10 16) = 10

返回一个字符串，它是 z 的打印形式（请参阅打印数字），基数由 radix 指定。如果 z 不精确，则基数必须为 10，否则会引发 exn:fail:contract 异常。

例子：

(数字->字符串 3.0)

“3.0”

(数字->字符串 255 8)

“377”

如您所见，您可以使用一个或两个参数调用此函数，但在这两种情况下，它们都必须是数字。但是通过这个调用(number->string lst list->string )，您正在传递列表和过程-所以我已经可以看出您的代码将以错误结束。当你尝试在 REPL 中调用你的函数时，就会发生这种情况：

> (binary->string '(1 0 0 1))
. . number->string: contract violation
  expected: number?
  given: '(1 0 0 1)
  argument position: 1st
  other arguments...:

在你仔细检查你写了什么之后，你应该能够在你运行你的代码之前预测会发生什么。

这里是解决方案：

(define (binary->string lst)
  (reduce string-append "" (map number->string lst)))

您将使用map 从列表中的每个数字创建字符串，然后将这些字符串与您的reduce 和string-append 连接起来。