通过 monad 访问配置参数？

Question

引用自此处： http://www.haskell.org/haskellwiki/Global_variables

如果你有一个全球环境， 各种函数从中读取（和 例如，您可以初始化 来自配置文件）然后你 应该将其作为参数传递给 你的功能（在拥有之后，非常 可能，将其设置在您的“主”中 行动）。如果显式参数 路过让你烦恼，那么你可以 用 Monad“隐藏”它。

现在我正在写一些需要访问配置参数的东西，我想知道是否有人可以向我指出一个教程或任何其他资源来描述如何将 monad 用于此目的。抱歉，如果这个问题很愚蠢，我才刚刚开始理解单子。现在阅读 Mike Vainer 关于它们的教程。

Answer 1

基本思想是编写如下代码：

main = do
   parameters <- readConfigurationParametersSomehow
   forever $ do
      myData <- readUserInput
      putStrLn $ bigComplicatedFunction myData parameters

bigComplicatedFunction d params = someFunction params x y z
   where x = function1 params d
         y = function2 params x d
         z = function3 params y

使用 IO 操作读取“main”函数中的参数，然后将这些参数作为额外参数传递给工作函数。

这种风格的问题在于，参数块必须传递给每个需要访问它的小函数。这很麻烦。您发现调用树中向下十层的某些函数现在需要一些运行时参数，并且您必须将该运行时参数作为参数添加到中间的所有函数。这称为流浪者数据。

monad“解决方案”是将运行时参数嵌入到 Reader Monad，并将所有功能都变成一元操作。这摆脱了显式的tramp data参数，而是用monadic类型替换它，并且在幕后这个monad实际上正在为您执行数据tramping。

命令式世界通过全局变量解决了这个问题。在 Haskell 中，你可以做同样的事情，如下所示：

parameters = unsafePerformIO readConfigurationParametersSomehow

第一次使用“参数”时，“readConfigurationParametersSomehow”被执行，从那时起，它的行为就像一个常量值，至少只要你的程序正在运行。这是 unsafePerformIO 为数不多的正当用途之一。

然而，如果您发现自己需要这样的解决方案，那么您确实需要考虑一下您的设计。很可能你没有认真思考如何将你的职能推广到更底层；如果某个以前的纯函数突然需要运行时参数，那么请查看原因并看看是否可以以某种方式利用高阶函数。例如：

• 传递使用参数而不是参数本身构建的函数。
• 让底部的工作函数返回一个函数作为结果，得到
  传递到更高级别的基于参数的函数组成。
• 重构您的调用堆栈，以便基本操作由较低级别完成
  底部的原语在顶部以参数相关的方式组成。

无论哪种方式都会涉及