nxt = λp. pair (plus (TIMES 2 (fst p)) (snd p)) (fst p)
f = λn. fst (n nxt (pair 1 0))
f5 的计算结果是什么?
如果我替换 (pair 1 0) -> p,将得到
nxt = pair (plus (TIMES 2 (1)) 0) (1)
nxt = pair (plus 2 0) (1)
nxt = pair 2 1
然后我得到:
f5 = fst (5 pair 2 1)
我如何从那里进一步推断?