Haskell Servant如何处理readFile返回IO String作为接口响应的问题

• 你写的convertToString是无意义的恒等函数，无法将被IO上下文包裹的String转为纯String，Haskell中纯代码永远无法直接提取IO中的值，这是副作用隔离的基本设计。
• Servant单路由对应的Server ServerAPI类型实际为Handler String，而非你认为的纯String或者IO String。你写的do块没有指定上下文，默认被推断为IO monad，所以返回类型和要求不匹配。

首先需要导入Control.Monad.IO.Class中的liftIO方法，Handler monad实现了MonadIO类型类，可以通过liftIO将任意IO操作提升为Handler操作，直接适配接口要求。
最简实现代码如下：

-- 首先导入liftIO
import Control.Monad.IO.Class (liftIO)

type ServerAPI =
    "getBoard" :> Get '[JSON] String

serverRoutes :: Server ServerAPI
serverRoutes = liftIO $ readFile "src/board.txt"

如果你需要在读取文件后做更多内容处理，可以用带liftIO的do块写法：

serverRoutes :: Server ServerAPI
serverRoutes = do
    contents <- liftIO $ readFile "src/board.txt"
    -- 这里可添加对contents的自定义处理逻辑
    return contents

内容的提问来源于stack exchange，提问作者Thalles Portilho