优雅的二进制加法代码？

Question

我刚刚编写了函数add-register，用于在球拍中对两个n位寄存器进行二进制相加(使用bit-add函数作为助手)：

(define (bit-add x y c)
  (values (bitwise-xor x y c) (bitwise-ior (bitwise-and x y)
                                           (bitwise-and x c)
                                           (bitwise-and y c))))

(define (add-registers xs ys)
  (let ([carry 0])
    (values (reverse (for/list ([b1 (reverse xs)] [b2 (reverse ys)])
                       (let-values ([(nb nc) (bit-add b1 b2 carry)])
                         (set! carry nc)
                         nb)))
            carry)))

但我发现我的代码很难看。所以我想知道这篇文章是否可以写得更简洁和优雅？

Answer 1

这是一个新版本的add-registers，看起来更好一些：

(define (add-registers xs ys)
  (for/fold ([carry 0] [bs empty])
     ([b1 (reverse xs)] [b2 (reverse ys)])
     (define-values (nb nc) (bit-add b1 b2 carry))
     (values nc (cons nb bs))))