scheme - 在 do 循环中填充列表返回列表为空

Question

我正在学习Racket，我不知道为什么lst总是空的:

#lang racket

(define sort-asc-by-second
  (lambda (lst)
    (sort lst
          (lambda (x y) (< (cdr x) (cdr y))))))

(define sum
  (lambda (lst)
    (apply + (map cdr lst))
  )
)

(define greater-than
    (lambda (lst y)
      (cond ((null? lst) (void))
            ((>= (cdr (car lst)) y) (car lst))
            (else (greater-than (cdr lst) y)))))

(define my-procedure
  (lambda (lst)
    (define sorted (sort-asc-by-second lst))
    (define suma (sum lst))
    (define probabilidades (map (lambda (p) (cons (car p) (/ (cdr p) suma))) sorted))

    (define prob (random))

    (car (greater-than lst prob))
   )
)
(define lst '())

(do ([x 6000 (- x 1)]
     (set! lst (my-procedure '((a . 1)(b . 2)(c . 3)))))
  ((zero? x) lst))

(display lst)

我想修改 do 中的 lst 列表，但它没有。

你知道为什么lst是空的吗？

更新
我测试了以下指令，结果如下:

> (my-procedure '((a . 1)(b . 2)(c . 3)))
'a

> (set! lst (my-procedure '((a . 1)(b . 2)(c . 3))))
> (display lst)
'a

我仍然不知道为什么在循环时 lst 是空的。

Answer 1

do-形式是

(do (initialisers)
    (stop-condition end-expression)
    body)

但是你写了

(do (initialiser body)
    (stop-condition end-expression))

不幸的是，(my-procedure '((a . 1)(b . 2)(c . 3))) 的值已绑定(bind)到名称 set! 在循环中，lst 永远不会被修改。