Tôi đã thấy rằng các hệ thống effects so với monads tường minh là các cú pháp khác nhau cho cùng một ngữ nghĩa cơ bản. Ngay cả với I/O, tham chiếu heap và các tính năng logic hàm đầy đủ, mọi thứ trong ngôn ngữ Verse của chúng tôi với các chú thích effects có thể được dịch sang monads Haskell.
Xem bản gốc