2

“定义一个过程'reduce-per-key'，其中一个过程reducef和一个关联列表，其中每个键与一个列表配对。输出是一个相同结构的列表，除了每个键现在与结果相关联将 reducef 应用于其关联列表"

我已经写了 'map-per-key' 和 'group-by-key' ：

(define (map-per-key mapf lls)
  (cond
    [(null? lls) '()]
    [else (append (mapf (car lls))(map-per-key mapf (cdr lls)))]))

(define (addval kv lls)
  (cond
    [(null? lls) (list (list (car kv)(cdr kv)))]
    [(eq? (caar lls) (car kv)) 
     (cons (list (car kv) (cons (cadr kv) (cadar lls)))(cdr lls))]
    [else (cons (car lls)(addval kv (cdr lls)))]))

(define (group-by-key lls)
  (cond
    [(null? lls) '()]
    [else (addval (car lls) (group-by-key (cdr lls)))]))

我将如何编写下一步“reduce-per-key”？我也很难确定它是否需要两个或三个参数。

到目前为止，我想出了：

(define (reduce-per-key reducef lls)
  (let loop ((val (car lls))
             (lls (cdr lls)))
    (if (null? lls) val
        (loop (reducef val (car lls)) (cdr lls)))))

但是，对于测试用例，例如：

(reduce-per-key
   (lambda (kv) (list (car kv) (length (cadr kv))))
   (group-by-key
     (map-per-key (lambda (kv) (list kv kv kv)) xs)))

我收到不正确的参数计数，但是当我尝试使用三个参数编写它时，我也收到此错误。有人知道我在做什么错吗？

4

1 回答 1

1

您的解决方案比它需要的复杂得多，并且有几个错误。事实上，正确的答案很简单，不需要定义新的辅助程序。尝试研究这个解决方案的框架，只需填写空白：

(define (reduce-per-key reducef lls)
  (if (null? lls)        ; If the association list is empty, we're done
      <???>              ; and we can return the empty list.
      (cons (cons <???>  ; Otherwise, build a new association with the same key 
                  <???>) ; and the result of mapping `reducef` on the key's value
            (reduce-per-key <???> <???>)))) ; pass reducef, advance the recursion

请记住，有一个用于将函数映射到列表的内置过程。像这样测试它：

(reduce-per-key (lambda (x) (* x x))
                '((x 1 2) (y 3) (z 4 5 6)))

> '((x 1 4) (y 9) (z 16 25 36))

请注意，每个关联都由一个键（car部分）和一个作为其值的列表（cdr部分）组成。例如：

(define an-association '(x 3 6 9))
(car an-association)
> 'x       ; the key
(cdr an-association)
> '(3 6 9) ; the value, it's a list

作为最后的想法，这个名字reduce-per-key有点误导，map-per-key会更合适，因为这个过程可以很容易地用map... 来表达，但这留给读者作为练习。

更新：

既然您已经找到了解决方案，我可以建议使用更简洁的替代方案map：

(define (reduce-per-key reducef lls)
  (map (lambda (e) (cons (car e) (map reducef (cdr e))))
       lls))
于 2012-10-09T18:42:25.090 回答