Haskell如何为自定义Entry数据类型添加UTCTime并处理纯函数与IO混用问题

Haskell通过类型系统严格隔离纯代码与带副作用的代码，所有涉及系统交互的操作（比如获取当前时间）都属于IO类型，无法在返回纯值的函数中执行。你当前的buildNewItem声明为TuidoState -> TuidoState是纯函数，不可能调用getNow :: IO UTCTime拿到实际的时间值，这是代码编译失败的根本原因。

• 第一步：简化冗余的getNow实现
  你当前的getNow中使用的liftIO是多余的，getCurrentTime本身就属于IO上下文，直接简化为：

getNow :: IO UTCTime
getNow = getCurrentTime

如果你后续需要在带MonadIO约束的自定义Monad栈中获取时间，再保留liftIO即可。

• 第二步：修改buildNewItem的类型签名与逻辑
  因为要执行IO操作，所以函数不能返回纯的TuidoState，需要改为返回IO TuidoState，修正后的代码如下：

buildNewItem :: TuidoState -> IO TuidoState
buildNewItem s = do
  now <- getNow
  let editContents = BE.getEditContents $ _theEdit s
  -- 避免空列表调用head触发运行时错误
  if null editContents
    then pure s
    else do
      let headerTitle = head editContents
          actualEntries = _entries s
          newEntry = Entry 
            { entryHeader = headerTitle
            , entryBody = Just "Test"
            , entryTime = now
            , entryTags = [headerTitle]
            }
      pure $ s { _entries = BL.listInsert 0 newEntry actualEntries }

• 第三步：调整buildNewItem的调用逻辑
  原来你可能在纯上下文中直接调用buildNewItem oldState，现在需要在IO do块中通过绑定拿到修改后的状态：

-- 示例调用
updatedState <- buildNewItem oldState

如果你的项目使用了自定义Monad栈（比如桌面/CLI应用常见的StateT TuidoState IO组合Monad），不需要把返回值改成IO，只需要给Monad加MonadIO约束，直接用liftIO getCurrentTime就能获取时间，无需单独封装getNow函数。

• 纯函数不能执行任何IO操作，也不能返回带IO包裹的值
• 所有涉及副作用的逻辑，必须放在IO（或实现了MonadIO的其他Monad）上下文里执行
• 纯逻辑可以随便放到IO上下文里调用，但反过来不行

内容的提问来源于stack exchange，提问作者Édipo Féderle