4コマ漫画版 関数型プログラミング本を読んでみた女子の日常

このチャーチ数って何なの？

わかんないよー

・・・やはり、リンには無理かしら

リン、あなたにはわからないかしら

0 が λx.λy.y でプラス1するのがλx.λy. λz.y(xyz)よ

それで 1 がλx.λy.xy よ

わかったかしら・・・やはり無理ね

なんで、無理なの！
足し算くらい分かるわよ

でも 0 + 1 がなんでこんなに面倒なのよ！

チャーチ数なんて、・・・誰も気にしていないから

リンちゃん、大丈夫かも

スーちゃんも気にしないでいいかも