Idris是否具有Haskell的MaybeT还是我应该使用别的东西？我正在尝试使用IO (Maybe a)类型的许多值进行计算。如何在Idris中将Maybe和IO合并为一个monad(例如Haskell中的MaybeT IO)？
最佳答案
尽管尚未将其合并，但有一个新的PR添加:https://github.com/idris-lang/Idris-dev/pull/4753
关于haskell - idris 有MaybeT吗？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/57503951/