2008-05-03から1日間の記事一覧
pow = λm n. n m とか謎過ぎる... λm n. n (λl s. m (l s)) (λs z. s z) なら分かるんだけど.つまり times m を one に対し n 回適用するの. 分からないので pow two three を手計算*1してみた: Applicative: three two = (λs z. s (s (s z))) (λs z. s (…
pow = λm n. n m とか謎過ぎる... λm n. n (λl s. m (l s)) (λs z. s z) なら分かるんだけど.つまり times m を one に対し n 回適用するの. 分からないので pow two three を手計算*1してみた: Applicative: three two = (λs z. s (s (s z))) (λs z. s (…