ส่วนมากของเรารู้ว่าการติดต่อระหว่างcombinatory ตรรกศาสตร์และแลมบ์ดาแคลคูลัส แต่ฉันไม่เคยเห็น (บางทีฉันไม่ได้ดูลึกพอ) เทียบเท่ากับ "combinators ที่พิมพ์" ซึ่งสอดคล้องกับแคลคูลัสแลมบ์ดาที่พิมพ์ได้ง่าย สิ่งนั้นมีอยู่จริงหรือไม่? เราจะหาข้อมูลเกี่ยวกับมันได้จากที่ไหน?
คุณอาจจะสนใจในการอ่าน Monad และนามธรรมกำจัดในMonad.Reader, ฉบับที่ 17 Monad ของ Reader (หรือแม่นยำมากขึ้นของ functor ประยุกต์) เกี่ยวข้องอย่างใกล้ชิดกับ SKI พิมพ์
—
Petr Pudlák