如何重构Haskell代码，避免Parsec解析逻辑全部陷入IO monad？

解决方案 #

有两种成熟的方案可以实现需求，不需要修改其余纯Parser的逻辑：

方案1：预获取当前时间注入解析器（首推） #

这是最常用的实现方式，全程保持Parser纯性，仅在解析入口处执行一次IO获取当前时间，再把时间作为参数传递给parseToday即可：

import Data.Time
import qualified Text.Parsec as Parsec
import Text.Parsec.String(Parser)

data Date = Date { year  :: Int
                 , month :: Int
                 , day   :: Int
                 } deriving (Show)

-- 将当前日期作为参数传入，Parser保持纯类型
parseToday :: Day -> Parser Date
parseToday currentDay = do
  Parsec.string "today"
  let (y, m, d) = toGregorian currentDay
  return $ Date (fromIntegral y) m d

-- 仅在最外层入口执行一次IO
main :: IO ()
main = do
  -- 提前获取当前日期
  currentDay <- utctDay <$> getCurrentTime
  -- 注入日期到解析器，后续所有Parser组合逻辑完全不变
  let parser = parseToday currentDay
  print $ Parsec.parse parser "" "today"

该方案的优势：

• 所有Parser仍为纯类型，原有解析逻辑不需要做任何修改
• 测试成本极低，测试时直接传入固定Day值即可验证today解析逻辑，不需要Mock IO
• 性能更优，仅执行一次时间获取操作

方案2：使用Monad转换器扩展Parser能力 #

如果你的解析器需要长期运行（比如交互式场景，解析进程跨天需要动态获取最新日期），可以用Parsec提供的ParsecT转换器给Parser栈叠加IO能力，原有纯Parser可以通过lift无缝复用，不需要修改实现：

import Data.Time
import Control.Monad.Trans.Class (lift)
import qualified Text.Parsec as Parsec

data Date = Date { year  :: Int
                 , month :: Int
                 , day   :: Int
                 } deriving (Show)

-- 定义带IO能力的解析栈类型
type IOParser a = Parsec.ParsecT String () IO a

parseToday :: IOParser Date
parseToday = do
  Parsec.string "today"
  -- 用liftIO执行IO操作
  now <- Parsec.liftIO getCurrentTime
  let (y, m, d) = toGregorian $ utctDay now
  return $ Date (fromIntegral y) m d

-- 原有纯Parser不需要任何修改
pureNumberParser :: Parsec.Parsec String () Int
pureNumberParser = read <$> Parsec.many1 Parsec.digit

-- 纯Parser和IO解析器可以无缝组合
combinedParser :: IOParser (Date, Int)
combinedParser = do
  today <- parseToday
  _ <- Parsec.space
  -- 直接lift原有纯Parser即可在IO解析栈中使用
  num <- lift pureNumberParser
  return (today, num)

内容的提问来源于stack exchange，提问作者Alex Coleman