Question

According to the introduction about ReaderT，我只能找到：

ReaderT Env IO String

这意味着

...is a computation which involves reading values from some environment 
of type Env (the semantics of Reader, the base monad) and performing some 
IO in order to give a value of type String.

因此执行顺序将变为

1. ( Already has ) some environment values          -- ReaderT Env
2. Do `IO` accroding to these pre-existing values   -- IO a
3. Use the `IO a` values to do more computations    -- IO b...z

这将要求我们的程序有一些预先存在的值作为环境，但我认为大多数程序需要加载这些环境值。比如数据库URL，调试切换器或其他任何东西。

因此，根据Monad堆栈，我们执行逆序，非法：

1. Do some `IO` to load environment settings        -- IO a first !!
2. Do more `IO` according to these settings         -- fill the env and do IO

monad堆栈将变为：

IOT Env ReaderT Env

这是非法的，因为IO monad不能是monad堆栈中的基本monad。那么，有没有一种正确的方法来使用外部设置文件初始化我的程序？

PS1。我注意到xmonad 编译它的设置是程序的一部分。我仍然不确定这是否是“加载”设置的唯一方法......

Answer 1

首先，monad堆栈中monad的顺序与你要执行的操作顺序没有任何关系。

其次，你可能在这里甚至不需要堆栈。

处理配置的典型程序按以下方式构建：

data Config = ...

readConfig :: IO Config
readConfig = do
    text <- readFile "~/.config"
    let config = ... -- do some parsing here
    return config


meat :: Reader Config Answer
meat = do
    -- invoke some operations, which get config automatically through the
    -- monad

main = do
    config <- readConfig
    let answer = runReader meat config
    print answer

只有当meat本身需要执行某些IO（除了读取配置）之外，才需要monad堆栈。在那种情况下，你有

meat :: ReaderT Config IO Answer
meat = ...

main = do
    config <- readConfig
    answer <- runReaderT meat config
    print answer

Haskell - 如何构建一个读取一些设置文件的程序？

1 个答案: