Reasoned Schemer (92) 符号付き

符号付きの数を作ってそれ用の足し算を作る話
1周目に脳内で書いたコードはカッコの対応がついてないところだらけ
あとdiff-sign-sumoで答えが0になるときの対応が抜けてることに気づいた

Reasoned Schemer (91) addero, +o, -o, lengtho

adderoとgen-addero
genとはなんだろう

晝眠夕寐藍筍

楷書

いつもより字を小さめに書いて余白を作ってみようとしてみた
これでもかなり小さく書こうとしたんだけど難しい

1文字の中でバランスを取るのも難しいというのに
これは持って生まれた何かの問題かもしれんね
しらんけど

Reasoned Schemer (90) half-adder, full-adder, poso, >1oあたりまで

7. A Bit Too Much

ビット演算から加算器作ったりする話
というか数を作る話と言った方がいいのかな

Reasoned Schemer (89) リベンジ？

delayしてるところがわかんねえ、って言ってスルーしてきたとこ、今ならわからないかなあ
どういう順で答えが出てくるとか、何回forceすると答えが出てくるとか

Reasoned Schemer (88) nevero 続き2

> (run 1 q (conde (succeed) ((nevero))) fail)

これが止まるのはだいたいイメージできるけど練習でやってみよう

Reasoned Schemer (87) nevero 続き

後者は1回forceした後同じになるのかな

このへん、勘でもREPL頼りでもなくちゃんとわかって言えないものだろうか
一度は追ってみないとダメかなあ