(Yazılmamış) lambda hesabındaki ( ) sabit nokta birleştirici FIX (aka Y birleştirici ) şöyle tanımlanır:
FIX
Amacını anlıyorum ve uygulamasının yürütülmesini tamamen iyi izleyebiliyorum; FIX'in ilk prensiplerden nasıl türetileceğini anlamak istiyorum .
İşte kendim türetmeye çalıştığımda öğrendiğim kadarıyla:
- FIX bir işlevdir: FIX
- FIX başka fonksiyon alır , bu özyinelemeli yapmak: FIX
- F fonksiyonunun ilk argümanı, özyinelemeli bir uygulamanın amaçlandığı durumlarda kullanılan fonksiyonun "adı" dır. Bu nedenle, ilk argüman her görünüşe bir işlev değiştirilmesi gerektiğini ve bu fonksiyon argümanları geri kalanını beklemelidir (Sadece varsayalım bir argüman alır): FIX
Bu, mantığımda "nasıl adım atacaklarını" bilmediğim yer. Küçük elipsler, FIX'imde bir şeyin eksik olduğunu gösterir (ancak bunu "gerçek" FIX ile karşılaştırarak öğrenebilmeme rağmen).
Zaten doğrudan türetmeye çalışmayan Türleri ve Programlama Dillerini okudum ve bunun yerine okuyucuyu bir türetme için The Little Schemer'a yönlendirdim . Ben de okudum ve "türetilmesi" hiç de yardımcı olmadı. Dahası, doğrudan bir türetme işleminden daha azdır ve çok spesifik bir örneğin kullanımı ve \ lambda'da uygun bir özyinelemeli fonksiyon yazmaya geçici bir girişimden daha fazladır .