«lambda-calculus» etiketlenmiş sorular

Chris Okasaki'nin " Düzleştirme Kombinatörleri: Parantez Olmadan Hayatta Kalma " başlıklı makalesinde, iki birleştiricinin bir uygulama operatörü veya parantez olmadan Turing-tamam ifadelerini kodlamak için hem yeterli hem de gerekli olduğunu göstermektedir. John Trump'ın , bir uygulama operatörü ile S ve K birleştiricilerini kodlayan ön kod kodlamasıyla " Binary Lambda Calculus …

9 lambda-calculus  combinatory-logic 

Bu nedenle , lambda hesabı terimlerini SK birleştiricileri kullanarak birleşik mantığa dönüştüren bir algoritma vardır . Boyut olarak patlayan şeyler üretir . Bu patlama hakkında daha fazla bilgi edinmek istiyorum. Ancak daha iyi bir algoritma düşünemiyorum. İşlevsel dillerin pratik olarak birleştiricilere derlendiğini duydum, bu yüzden daha iyi bir algoritma var …

9 lambda-calculus  functional-programming  combinatory-logic