在 Drracket 中获取#stream 作为输出

Question

给出了订单和数据流，我需要根据order-stream对数据进行排序。

#lang racket
(define the-empty-stream '())
(define (stream-car stream)
 (car stream))
(define-syntax cons-stream
 (syntax-rules ()
    ((cons-stream x y)
     (cons x (delay y)))))

(define (stream-cdr stream)
 (force (cdr stream)))
(define stream-null? null?)
(define (integers-starting-from n)
 (stream-cons n (integers-starting-from (+ n 1))))

(define integers (integers-starting-from 1))

(define order-stream (stream-cons 2 1))
(define data-stream (stream-cons 5 6))

(define (reorder order-stream data-stream)
 (cond ((stream-null? order-stream) the-empty-stream)
       ((stream-null? data-stream) the-empty-stream)
       (else (stream-cons (stream-ref data-stream 
                                      (stream-car order-stream))
                          (reorder (stream-cdr order-stream) data-stream)))))

当我执行(reorder order-stream data-stream) 时，我得到#stream 作为输出而不是6 . #promise。这是我的编程任务，所以不要给出完整的代码，而是给出一些提示。

Answer 1

看看你有什么：

(define (reorder order-stream data-stream)
                 ^^^^^^^^^^^^
 (cond ((stream-null? order-stream) the-empty-stream)
       ((stream-null? data-stream) the-empty-stream)
       (else (stream-cons (stream-ref data-stream 
                                      (stream-car order-stream))
                          (reorder (stream-cdr order-stream) data-stream)))))
                                   ^^^^^^^^^^^^^^^^^^^^^^^^^

(define (stream-cdr stream)
 (force (cdr stream)))

(stream-cdr stream)预计会返回什么样的东西？

然后你打电话

(define order-stream (cons-stream 2 1))

order-stream 的cdr 是什么？

---

流式编程很有趣。例如，要计算流的部分和，p-s [a,b,c...] = a, a+b, a+b+c, ...，我们可以这样写

(define (partial-sums xs init)
    (cons-stream init 
         (partial-sums (stream-cdr xs)
                       (+ (stream-car xs) init))))

我们可以很容易地将+抽象为一个通用的二元运算参数：

(define (scanl + xs init)
    (cons-stream init 
              (scanl + (stream-cdr xs)
                       (+ (stream-car xs) init))))

并将其称为，例如

(define factorials (scanl * integers 1))

另一种有趣定义scanl的方式是

(define (scanlist + xs init)
   (define rs (cons-stream init 
                (combine-streams + xs rs)))
   rs)

编写 combine-streams（在 Haskell 中也称为 zipWith）是一个简单的交易。

在 Racket 中，一定要使用完整的语言，其中define 是递归的，类似于letrec（不是let），否则最后一个将不起作用（你明白为什么吗？）。

Answer 2

Racket 有一个内置的 stream-cons，您不小心调用了它，而不是您打算使用的 cons-stream。