Reasoned Schemer (36) 読み直し 7章
Under the Hoodはちょっとだけ見た
ちょっとだけではなんのことやら
7. A Bit Too Much
ビット操作から始めて足し算引き算を作るまで
bit-xoro
、bit-ando
、half-addero
、full-addero
ゲートを組み合わせて半加算器、全加算器を作る
build-num
自然数をビット列による表現に変換
non-overlapping property
cond
の条件がもれなく重複もなく定義域をカバーしていること
poso
、>1o
0より大きい、1より大きい
ground value
reifyed variablesを含まない値
addero
、gen-addero
、+o
足し算を作る
-o
引き算は足し算で作る
lengtho
普通のlength
だけど、ビットのリストによる表現で結果を返す