Ekşi Duyuru

birisi bana biraz bu lambda calculusten bahsedebilirmi? hicbisey anlamiyorum.. simdi mesela soyle birsey var bunu bana step step bi anlatin gozunuzu seviyim.


- demişki:
plus3 x = succ (succ (succ x))
plus3 = [lambda]x.succ (succ (succ x))

g = [lambda]f.f (f (succ 0))

(Note that the parameter variable f is used in the function position
in the body of g. Terms like g are called higher-order functions.
If we apply g to an argument like plus3, the “substitution rule”
yields a nontrivial computation:)


----simdi bunun devaminda şöyle birsey yaziyor(altta) bu nedir bana step step bi anlatin sunu, bu f nedir nereye kayboluyor falan filan---

g plus3
= ([lambda]f.f (f (succ 0))) (x. succ (succ (succ x)))
i .e. ([lambda]x. succ (succ (succ x)))
(([lambda]x.succ (succ (succ x))) (succ 0))
i .e. ([lambda]x.succ (succ (succ x)))
(succ (succ (succ (succ 0))))
i .e. succ (succ (succ (succ (succ (succ (succ 0))))))

not: hicbisey anlamadigimdan onemli gibi gelen seyleri copy paste yaptm