Haskell如何正确导入System.IO.Strict并实现文件内容修改？

1. 功能实现错误原因与修复方案 #

你遇到的运行报错根源是Haskell默认IO为惰性IO：调用hGetContents时并不会立刻把整个文件内容加载到内存，只会在实际用到内容时才会逐块读取。原代码中在读取内容后立刻关闭了文件句柄，等到后续执行lines content需要实际读取内容时，句柄已经失效，因此报错。之前添加打印逻辑可以运行的原因是打印操作会在句柄关闭前强制求值整个文件内容。
不需要打印内容的前提下，可以通过手动强制内容全量加载的方式修复，不需要引入额外依赖的实现如下：

import Control.Exception (evaluate)
import System.IO

flyttLn :: FilePath -> IO ()
flyttLn fn = do
    fh <- openFile fn ReadMode
    content <- hGetContents fh
    -- 强制在关闭句柄前完整加载所有文件内容
    _ <- evaluate $ length content
    hClose fh
    case lines content of
        [] -> return () -- 空文件不执行操作
        (l1:rest) -> do
            fh2 <- openFile fn WriteMode
            hPutStr fh2 $ unlines (rest ++ [l1])
            hClose fh2

2. System.IO.Strict模块导入失败解决方案 #

System.IO.Strict不属于Haskell标准库base的内置模块，是第三方strict包提供的接口，你需要先将该包添加到项目依赖后才能导入使用：

• 若使用cabal管理项目：在项目cabal配置文件的build-depends字段添加strict >= 0.5
• 若使用stack管理项目：在项目package.yaml的dependencies列表添加strict
  依赖安装完成后即可正常导入该模块，使用严格IO实现的代码更简洁，不需要手动处理求值时机：

import qualified System.IO.Strict as SIO

flyttLn :: FilePath -> IO ()
flyttLn fn = do
    content <- SIO.readFile fn
    case lines content of
        [] -> return ()
        (l1:rest) -> SIO.writeFile fn $ unlines (rest ++ [l1])

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