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