Haskell Stack文件脏状态检测及静态资源嵌入构建问题问询

让我分两部分来解答你的问题：

一、Stack 如何检测文件脏状态？ #

Stack 的脏状态检测是基于依赖追踪+GHC编译缓存实现的，核心逻辑如下：

• 它会为每个 Haskell 模块维护编译产物（.hi接口文件、.o目标文件），并记录这些产物的生成时间和依赖链。
• 执行stack build时，Stack 会对比源文件（.hs/.lhs）的修改时间与对应编译产物的时间：如果源文件更新更晚，就会标记为"脏"并触发重新编译。
• 同时，Stack 会追踪模块间的依赖关系——如果模块 A 依赖模块 B，当模块 B 被标记为脏，模块 A 也会被连带触发重新编译。
• 但有个关键细节：默认情况下，Stack/GHC 不会追踪 Template Haskell 代码中动态读取的外部文件（比如你嵌入的静态资源），因为这些文件不在模块的显式依赖声明里，这也是你遇到问题的核心原因。

二、静态资源更新后触发重新构建的解决方案 #

针对你的场景，这里有几个可靠的方案，按推荐程度排序：

1. 在 Template Haskell 中显式声明依赖（最推荐） #

GHC 提供了addDependentFile函数（来自Language.Haskell.TH.Syntax），可以在 TH 代码中告诉编译器"这个外部文件是当前模块的依赖"。修改你的Static模块代码：

import Language.Haskell.TH
import Language.Haskell.TH.Syntax
import qualified Data.ByteString as BS
import System.Directory (listDirectory, doesFileExist)
import System.FilePath ((</>), takeFileName)

-- 嵌入单个静态文件的TH函数
embedStaticFile :: FilePath -> Q Exp
embedStaticFile fp = do
  -- 关键：告诉GHC这个静态文件是模块的依赖
  addDependentFile fp
  content <- runIO $ BS.readFile fp
  [| content |]

-- 批量嵌入整个目录的静态文件
embedStaticDir :: FilePath -> Q Exp
embedStaticDir dir = do
  files <- runIO $ listDirectory dir >>= filterM doesFileExist . map (dir </>)
  -- 给每个文件都添加依赖声明
  mapM_ addDependentFile files
  contents <- mapM (runIO . BS.readFile) files
  [| Map.fromList $(listE $ zipWith (\f c -> [| (takeFileName f, c) |]) files contents) |]

这样一来，只要静态文件的修改时间有变化，GHC 就会自动把Static模块标记为脏，触发重新编译，进而更新嵌入的资源。

2. 在 .cabal 文件中添加extra-source-files声明 #

在你的项目 .cabal 文件里，找到对应的 library 或 executable 部分，添加extra-source-files字段，把静态资源的路径列进去：

library
  -- 其他配置项...
  extra-source-files:
    static/images/*.png
    static/css/*.css
    -- 或者用通配符匹配整个目录下的所有文件
    static/**/*

Stack 会把这些文件纳入全局依赖追踪体系，当它们更新时，会触发所有依赖这些文件的模块（也就是使用 TH 读取它们的Static模块）重新编译。

3. 使用 Stack 的文件监听模式 #

如果你需要实时开发预览，可以用stack build --file-watch命令启动自动构建。Stack 会监听所有源文件和extra-source-files中声明的文件，一旦检测到变化就立即触发构建，非常适合开发阶段快速迭代。

为什么touch Static.hs没生效？ #

你之前尝试的touch Static.hs没效果，大概率是因为GHC 的增量编译会检查文件内容的哈希值，而不仅仅是修改时间。如果只是修改了文件的时间戳，但文件内容没有实际变化，GHC 会判断不需要重新编译，所以 Stack 不会更新二进制文件。

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