Hầu hết chúng ta đều biết sự tương ứng giữa logic kết hợp và phép tính lambda . Nhưng tôi chưa bao giờ thấy (có lẽ tôi chưa nhìn đủ sâu) tương đương với "tổ hợp đánh máy", tương ứng với phép tính lambda được gõ đơn giản. Liệu những điều như vậy tồn tại? Nơi nào người ta có thể tìm thấy thông tin về nó?
Bạn có thể quan tâm đến The Reader Monad và Trừu tượng loại bỏ trong The Monad.Reader, Số 17 . Đơn vị Reader (hay chính xác hơn là functor ứng dụng của nó) có liên quan chặt chẽ với SKI đã gõ.
—
Petr Pudlák