Lambda Hesaplama | Lambda Calculus

Programlama dillerinde baya popüler olan lambda hesaplaması hakkında tozlu raflar arasında kalan, okulda dönemin bitmesiyle kimi için silinecek veya atılacak notlar arasında olan kimi için de bloğunda veya aktif paylaşım yapan bir sitede paylaşıma açılmasına gerek duyan iki tayfadan son söylediğime mensubum :D bu güzel dökümanları ders notlarımın arasından çıkarıp kendi bloğumda paylaşıp bilginin sadece bir kişi etrafında dönmesini değil, paylaştıkça çoğalma prensibini benimseyerek yazıyorum bu satırlarımı notlar baya güzel, okuyun, okutturun twitterde cartta curtta da paylaşın desteklerinizi bekliyorum :) iyi çalışmalar, öpüldünüz :*

(λx.+ x x) (+ 3 5)
   = + (+ 3 5) (+ 3 5)
   = + 8 8
   = 16

(λx.+ y x) 2
   = + y 2

λx.+ ((λi0.(λi1.* i1 i0) 2) x) y
   = λx.+ ((λi0.* i0 x) 2) y
   = λx.+ (* 2 x) y

(λx.λk.+ x k) y
   = λk.+ y k
   = + y

Önce değerlendirme yapılırsa
(λx.* x x) (+ 2 3)
   = (λx.* x x) 5
   = * 5 5
   = 25
Değerlendirme sonra yapılırsa
(λx.* x x) (+ 2 3)
   = * (+ 2 3) (+ 2 3)
   = * 5 5
   = 25

//(λx. ((λy.(* 2 y)) (+ x y))) y
(λx.(λi0.* 2 i0) (+ x y)) y
   = (λi0.* 2 i0) (+ y y)
   = * 2 (+ y y)

//(λx. λy. (x y)) (λz. (z y))
(λx.λi0.x i0) (λz.z y)
   = λi0.(λz.z y) i0
   = λz.z y


Yapılan Yorumlar
Erdem OFLAZ

Bir mum, diğer mumu tutuşturmakla ışığından bir şey kaybetmez.
 Kategoriler
 Popüler yazılar