Haskell - 自动使用导入模块中的变量

Question

假设我有一个名为 Item 的模块，其中包含：

module Item
  ( routes ) where
routes = ["test1","test2","test3"]

在Main 模块中我有：

import qualified Item as I
routes = I.routes ++ ["test4", "test5"]

我想知道是否有可能在编译时让ghc 动态遍历所有导入的模块，如果它们导出一个名为 routes 的变量，请将其附加到 Main 模块中的 routes 变量中。所以基本上是这样的：

import qualified Item as I
import qualified User as U --this one exports routes also
import qualified NoRoutes as NR --this one doesn't have any routes
routes = ["test4","test5"]

编译后，最终结果为routes = I.routes ++ U.routes ++ ["test4","test5"]

我不确定 Template Haskell 是否会这样做。 感谢您的帮助！

Answer 1

模板 Haskell 可能是最简单的方法。

TH 允许您向编译器询问诸如“模块 X 是否导出名为 Y 的东西？”之类的问题。它允许您自动生成代码以将所有路由附加在一起。

另一种方法是编写一个 Haskell 程序，该程序读取您的 Haskell 源代码并输出包含您的 Main 模块的文本文件。这非常棘手，除非您的所有模块都以相当具体的方式定义 routes（例如，如果存在，则始终位于第 5 行）。 TH 可能会容易得多。