対数的ステップ数の2数の積

SICPの問題1.18。「ロシア農民の方法」として知られるアルゴリズムらしい。これは30分くらい考えてわかった。解けたときすっきりした。

; 1.18
(define (fast-* a b)
  (*-iter a b 0))

(define (*-iter a b n)
  (cond
   [(= b 0) n]
   [(even? b) (*-iter (double a) (halve b) n)]
   [else (*-iter a (- b 1) (+ n a))]))