আমাদের মধ্যে অধিকাংশই মধ্যে চিঠিপত্রের জানেন সমন্নয়ের যুক্তিবিজ্ঞান এবং ল্যামডা ক্যালকুলাস । তবে আমি কখনও দেখিনি (সম্ভবত আমি যথেষ্ট গভীরভাবে দেখিনি) "টাইপড কম্বিনেটরগুলির" সমতুল্য, কেবল টাইপ করা ল্যাম্বদা ক্যালকুলাসের সাথে মিল রেখে। এ জাতীয় জিনিস কি বিদ্যমান? কোথায় এটি সম্পর্কে তথ্য খুঁজে পেতে পারে?
আপনি আগ্রহী হতে পারে দ্য রিডার একসংখ্যা এবং বিমূর্ততা দূরীকরণ মধ্যে Monad.Reader, ইস্যু 17 । পাঠক মনাদ (বা আরও স্পষ্টভাবে এর প্রয়োগমূলক ফান্টেক্টর) টাইপ করা এসকেআইয়ের সাথে ঘনিষ্ঠভাবে সম্পর্কিত।
—
পেটর পুডলিক