Haskell考试排程开发：跨函数保存元组列表报错求助

你的代码存在多个核心问题，涉及Haskell的IO模型、不可变数据特性以及递归逻辑设计，以下是具体问题拆解和修正方案：

核心错误点 #

1. IO操作误用：lines ucs直接对Handle类型调用lines是无效的，必须先读取文件内容才能拆分成行；同时手动openFile后又用writeFile会导致文件句柄冲突，writeFile会自动打开/关闭文件。
2. 不可变数据误解：Haskell变量是不可变的，tupleList ++ ...不会修改原列表，而是生成新列表，你的递归函数没有通过返回值传递更新后的结果。
3. 递归逻辑错误：do块内连续的函数调用没有组合逻辑，且你的排程逻辑（给同一科目分配多个考场）不符合“同一考场不能安排多场考试”的需求。
4. 无返回值传递：原函数没有将生成的元组列表传递到writeFile步骤，导致最终写入空列表。

修正后的代码 #

纯逻辑部分（生成排程列表） #

将排程生成逻辑与IO操作分离，用纯函数处理不可变数据的递归构建：

-- 生成符合规则的排程列表：每天每个考场分配一个科目，直到天数、考场或科目耗尽
generateSchedule :: Int -> Int -> [String] -> [(Int, Int, String)]
generateSchedule maxDays maxRooms subjects = go maxDays maxRooms subjects []
  where
    -- 递归辅助函数：剩余天数、剩余考场、剩余科目、已生成的排程累加器
    go 0 _ _ acc = reverse acc  -- 天数耗尽，反转累加器得到正序列表
    go _ 0 remainingSubs acc = go (maxDays - 1) maxRooms remainingSubs acc  -- 当天考场用完，切换到下一天
    go currDay currRoom (sub:subs) acc =
      -- 提取科目名称（每行最后一个字段），生成元组并加入累加器
      let subName = last (words sub)
          newAcc = (currDay, currRoom, subName) : acc
      in go currDay (currRoom - 1) subs newAcc
    go _ _ [] acc = reverse acc  -- 科目耗尽，直接返回结果

IO操作部分（文件读写） #

用简化的IO函数处理文件操作，避免句柄管理错误：

saveUcDia :: Int -> Int -> IO ()
saveUcDia maxDays maxRooms = do
  -- 读取科目文件并拆分成行
  subContent <- readFile "ucs.txt"
  let subLines = lines subContent
      -- 生成排程列表
      schedule = generateSchedule maxDays maxRooms subLines
      -- 将元组列表转换为可写入的字符串（每个元组占一行）
      scheduleStr = unlines $ map show schedule
  -- 写入结果文件
  writeFile "exames_uc_dia_sala.txt" scheduleStr

修正说明 #

1. IO与纯逻辑分离：文件读写仅负责IO操作，排程生成为纯函数，符合Haskell的函数式编程原则，也便于测试逻辑。
2. 正确处理不可变数据：通过递归累加器acc收集生成的元组，最后反转得到从第一天到最后一天的正序排程。
3. 符合需求的逻辑：每天的每个考场分配一个唯一科目，保证同一考场每天仅安排一场考试，直到天数、考场或科目资源耗尽。
4. 简化文件操作：用readFile和writeFile自动管理文件句柄，避免手动openFile/hClose的潜在错误。

内容的提问来源于stack exchange，提问作者Francisco Marinho Carvalho