Church 数 メモ

なんだか見ていて心が洗われたので。ちなみに Haskell 全然知りません。

-- church numerals
ch_0 = \f x -> x
ch_1 = \f x -> f x
ch_2 = ch_succ ch_1
ch_3 = ch_succ ch_2
ch_4 = ch_succ ch_3
ch_5 = ch_succ ch_4
ch_6 = ch_succ ch_5
ch_7 = ch_succ ch_6
ch_8 = ch_succ ch_7
ch_9 = ch_succ ch_8
ch_succ  = \ n f x   -> f (n f x)

ch_succ の定義を見て気分が良かった。次のステップへの突破口になればいいんだけど。頑張ろう。