dictionary - Racket 映射笛卡尔积事物

Question

在 racket 中，像 map 这样的高阶函数用在两个列表上是这样做的:

(map list '(1 2 3) '(1 2 3))
> '( (1 1) (2 2) (3 3) )

但我想要像这样的笛卡尔积:

'( (1 1) (1 2) (1 3) (2 1) (2 2) (2 3) (3 1) (3 2) (3 3) )

我怎样才能做到这一点？最好有高阶函数？

Answer 1

这是一个完全使用高阶函数的方法(foldr、append-map 和 map；现在也使用 compose1、curry 和 curryr):

(define (cartesian-product . lists)
  (foldr (lambda (a b)
           (append-map (compose1 (curryr map b) (curry cons))
                       a))
         '(())
         lists))

请原谅可怕的参数名称。总有一天我会想出一件好事。 :-)