在haskell中处理IO值

Question

我正在 Haskell 中编写一个带有 IO 操作的小程序 正如

module StackQuestion where

import Data.Map (Map, insert, fromList)

type Name = String
type Value = String

readValue :: Name -> IO String
readValue name = do     putStrLn name
                        value <- getLine
                        return value

addPair :: Name -> Value -> Map Name Value -> Map Name Value
addPair = insert

names = map show [1..5]
values = map (\char -> [char]) ['a'..'d']
initialMap = fromList (zip names values)

您所看到的，我有一些带有值的初始映射，以及向映射添加一对的函数，以及读取值的函数。

如何从 readValue 获取清晰的 String 值并将其传递给另一个函数？

或者我应该将 type Value = String 更改为 type Value = IO String 并使用 map Map String (IO String) ？

如果我有 Map String (IO String) 我该如何处理这个映射，如何根据 IO 容器中的数据获取任何值（也许是某些函数 func :: (a->b) -> IO a -> b) 例如，有什么方法可以将 IO String 与 clear String 进行比较吗？

如果我有函数func，我会写

map :: Map String (IO String)
...
func (==) (map ! "key")

What is the Strategy ofworking with IO values？

Answer 1

如何从 readValue 获取清晰的 String 值并将其传递给另一个函数？

你不能；您必须在 IO monad 中操作 readValue 的结果。

{- read value for name and store both in map -}
readAndStore :: Name -> Map Name Value -> IO (Map Name Value)
readAndStore name m  =  do value <- readValue name
                           return $ insert name value m

return 函数获取 insert 的结果并将其整齐地放回到 IO monad 中。此代码举例说明了使用 IO 内的普通函数操作值的一般模式。

或者我应该将type Value = String更改为type Value = IO String

否；考虑一下这意味着什么。 IO String 表示具有 String 类型结果的可能副作用 (IO) 的计算。您会将名称映射到计算。 （这是可能的，但这不是您的意思。）

上面显示的示例使用 IO（映射名称值） 来代替；即，IO monad 中具有 Map 类型结果的计算。