我只是设法理解了类的定义MonadReader
class Monad m => MonadReader r m | m -> r where
...
看了Haskell中的Functional Dependency的文档,现在可以理解为
| m -> r
指定类型变量 r
由 m
唯一决定.根据我目前看到的几个 MonadReader 的典型实例(例如 Reader
),我认为这个要求是合理的,但在我看来,我们仍然可以定义像 Reader
这样的实例。即使没有这个函数依赖子句。我的问题是为什么我们在 MonadReader 的定义中需要函数依赖?从某种意义上说,这对于定义 MonadReader 是否在功能上是必要的,没有它就无法正确定义 MonadReader,或者它只是限制 MonadReader 的使用方式,以便 MonadReader 的实例都以某种预期的方式运行?
最佳答案
需要以对用户更方便的方式进行类型推断。
例如,如果没有fundep,这将无法编译:
action :: ReaderT Int IO ()
action = do
x <- ask
liftIO $ print x
要进行上述编译,我们需要编写
action :: ReadertT Int IO ()
action = do
x <- ask :: ReadertT Int IO Int
liftIO $ print x
这是因为,没有fundep,编译器无法推断
x
。是 Int
.毕竟是一个单子(monad)ReadertT Int IO
可能有多个实例instance MonadReader Int (ReaderT Int IO) where
ask = ReaderT (\i -> return i)
instance MonadReader Bool (ReaderT Int IO) where
ask = ReaderT (\i -> return (i != 0))
instance MonadReader String (ReaderT Int IO) where
ask = ReaderT (\i -> return (show i))
-- etc.
所以程序员必须提供一些注释来强制
x :: Int
,或者代码不明确。
关于haskell - 为什么定义 MonadReader 需要 FunctionalDependency?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58947160/