λ計算におけるChurch encoding

Wikipedia見て

チャーチ数で自然数を定義する??(?_?)


って感じになったんですが、


http://y-uti.hatenablog.jp/entry/2014/12/30/151515


ここを見てわかった(風を装えるようになった)


前にHaskellの本読んでたときにカリー化とかやったけど、
まじめに勉強してみようかな。


とりあえずよさそうな本を探そう。


IQは高くなくてよいので←

コメント

このブログの人気の投稿

再現性なんてないさ(?)

特に収穫がない日

jupytherにチャレンジ