高階関数クイズ - Oh, you `re no (fun _ → more) チャーチ数の冪乗計算を知っていれば。 POW := λbe.e b http://en.wikipedia.org/wiki/Lambda_calculus これ紙に書いて確かめてみるととても面白い。 という訳で twice twice twice twice add1 0 = (((twice…