Tôi đang cố gắng trừu tượng hóa mô hình áp dụng một ngữ nghĩa nhất định cho một đơn nguyên miễn phí trên một số hàm. Ví dụ đang chạy mà tôi đang sử dụng để thúc đẩy việc này là áp dụng các bản cập nhậ
Có thể có cơ chế giống như mtl cho máy biến áp đơn nguyên do FreeT/ProgramT tạo ra không? Sự hiểu biết của tôi về lịch sử như sau. Đã có một thời gian biến áp monad được phát minh. Sau đó, mọi người b
Ok, vì vậy tôi đã tìm ra cách để thực hiện Reader (và ReaderT, không hiển thị) bằng cách sử dụng operational gói: {-# LANGUAGE GADTs, ScopedTypeVariables #-}
import Control.Monad.Operational
data