Question

假设我有以下功能：

(define foo
  (lambda (n)
    (values n (* 2 n))))

我想在列表foo上调用地图'(1 2 3 4)。因此，我创建了一个map-values函数：

(define map-values
  (lambda (f xs)
    (match xs
      ['() (values '() '())]
      [(cons x xs)
        (let-values ([(a  b)  (f x)]
                     [(as bs) (map-values f xs)])
          (values (cons a as) (cons b bs)))]
      )))

现在，我可以执行以下操作：

(map-values foo '(1 2 3 4)) => (values '(1 2 3 4) '(2 4 6 8))

但是，如果foo返回三个值，或四个，......等等，该怎么办？我需要为每个案例创建一个新的map-values函数。有没有办法概括map-values，以便可以使用任何返回多个值的foo？

Answer 1

这样做你想要的：

(define (map-values proc lst)
  (define (wrap e)
    (call-with-values (lambda () (proc e)) list))      
  (apply values
         (apply map list (map wrap lst))))

(define (foo n)
  (values n (* 2 n) (/ 1 n)))

(map-values foo '(1 2 3 4))
; ==> (1 2 3 4)
; ==> (2 4 6 8)
; ==> (1 1/2 1/3 1/4)

这也与标准方案兼容。

在Racket中推广地图值

1 个答案: