Ben sadece "onu tanımak" için lambda matematiğini okuyorum. Turing Makinesi yerine alternatif bir hesaplama biçimi olarak görüyorum. İşlevleri / azaltmaları olan şeyleri yapmanın ilginç bir yoludur (kabaca konuşma). Bazı sorular olsa da beni rahatsız ediyor:
- Lambda analizinin amacı nedir? Neden tüm bu işlevlerden / azaltmalardan geçtiniz? Amaç ne?
- Sonuç olarak merak ettim: Lambda matematiği, CS teorisini ilerletmek için tam olarak ne yaptı? Varlığının gerekliliğini anlayabilmem için “aha” anına sahip olmamı sağlayacak katkıları nelerdi?
- Neden lambda hesabı, otomat teorisi metinlerinde yer almıyor? Ortak yol çeşitli otomatalardan, gramerlerden, Turing Makinalarından ve karmaşıklık sınıflarından geçmektir. Lambda hesabı, yalnızca SICP tarzı kurslar için müfredata dahil edilir (belki de değil?). Ancak bunun nadiren CS'nin çekirdek müfredatının bir parçası olduğunu gördüm. Bu, o kadar da değerli olmadığı anlamına mı geliyor? Belki değil ve ben belki burada bir şey eksik?
Fonksiyonel programlama dillerinin lambda matematiğine dayandığını biliyorum ama bunu programlama dillerinden çok önce yaratıldığından geçerli bir katkı olarak düşünmüyorum. Öyleyse, gerçekten de lambda hesabını tanıma / anlama, uygulamaları / teoriye katkıları nedir?
Functional Programming
Haskell ve biraz Lisp hakkında konuştum. Bunun halefi Principles of Programming Languages
, ML kullanılan ve lambda matemisini tanıtan idi. Bazı cevapların gösterdiği gibi, gerçekten de lambda matematiğinin ait olduğu yer: programlama dilleri, yazma vb.