haskell - 摆脱 Haskell 的 IO ( )

Question

我正在编写具有保存/加载当前状态功能的简单应用程序。
保存功能如下:

doSave :: BoardType -> Field -> [Char] -> Bool 
doSave board player fileName = do
    let x = encodeFile fileName (board :: BoardType, player :: Field)
    True -- there will be exception handling 

而我的加载功能:

doLoad :: [Char] -> IO (BoardType, Field)
doLoad fileName = decodeFile fileName :: IO (BoardType, Field)

这是我的问题，加载后，我有 IO (BoardType, Field)这不适合我的程序和其他可能不应该接受的功能 IO参数。如果我关注了这个 IO升级，会有所有 IO s 在我的应用程序中 - 是否有必要(或 - 在 Haskell 语言中是正常的)？

最后 - 有没有一种简单的方法可以摆脱这个 IO ?

Answer 1

需要一点时间来适应。

有些 monad 可以让你在一些工作后提取“内在值(value)”，但 IO 从来没有。

没有办法，例如返回系统时间可以是“纯”的，因此您使用它进行的任何计算都需要保留在 IO 中。

然而，这并不意味着您的大部分代码都在 IO 领域。

main = do
  (bt, fld) <- doLoad "somefilename"
  let bResult = doSomethingPureWithBoard bt
  let fResult = doSomethingPureWithField fld
  let bt2     = updateBoard bt bResult fResult
  doSave "someFilename" bt2 fld                -- This should also be in IO

你总是可以从 IO 调用纯函数，而不是相反。 <-在 IO 函数中为您提供“解包”值。实际上，它正在将结果作为参数传递给下一个“语句”——谷歌搜索“de-sugaring do notation”等类似内容。