Recursion 递归笛卡尔积函数

我正在尝试实现一个递归函数来寻找两个集合的笛卡尔积。我目前拥有的代码如下：

    (define (cartesian-product set-1 set-2)
        (let (b (set 2))
             (cond [(empty? set-1) '()]
                   [(empty? set-2)  (cartesian-product (rest set-1) b)] 
                   [else (append (list (list (first set-1) (first set-2))) (cartesian product set-1 (rest set-2)))]))))

---

然而，我的逻辑有一些错误，我无法精确地指出。感谢您的帮助

用两个循环而不是一个循环怎么样

(define (cartesian-product set-1 set-2)
  (define (cartesian-product-helper element set)
    (if (empty? set)
        set
        (cons (list element (first set))
              (cartesian-product-helper element (rest set)))))
  (if (or (empty? set-1)
          (empty? set-2))
      empty
      (cons (cartesian-product-helper (first set-1) set-2)
            (cartesian-product (rest set-1) set-2))))

您在逻辑中发现了问题，并试图在

b

中保存

set-2

（您将其键入为

（set-2）

），但此值将在每次递归调用时被覆盖。如果改为调用helper函数，该函数循环遍历一个集合的所有元素以及另一个集合的第一个元素，那么问题就消失了

Welcome to DrRacket, version 6.1.1 [3m].
Language: racket; memory limit: 128 MB.
> (cartesian-product '(1 2 3) '(x y z))
'(((1 x) (1 y) (1 z))
  ((2 x) (2 y) (2 z))
  ((3 x) (3 y) (3 z)))
> (cartesian-product '(1 2 3) '())
'()
> (cartesian-product '() '(x y z))
'()

或者，可以选择一些更具争议性的东西，比如：

(define (cartesian-product set-1 set-2)
  (if (or (empty? set-1)
          (empty? set-2))
      empty
      (for/list ([i set-1])
        (for/list ([j set-2])
          (list i j)))))