Birçoğumuz birleştirici mantık ve lambda matematiği arasındaki yazışmaları biliyoruz . Ancak, basitçe yazılan lamda matematiğine tekabül eden "yazılan birleştiricilerin" eşdeğerini hiç görmedim (belki de yeterince derin görmedim). Böyle bir şey var mı? Kişi bu konuda nereden bilgi bulabilir?
Sen ilgilenen olabilir Okuyucu Monad ve Soyutlama Önlenmesi içinde Monad.Reader, Sayı 17 . Reader monad (veya daha kesin olarak uygulamalı işlevi) yazılan SKI ile yakından ilgilidir.
—
Petr Pudlák