haskell 在列表中加载模块

Question

嘿，haskellers 和 haskellettes，是否可以在列表中加载模块功能。在我的具体情况下，我有一个函数列表，所有函数都用 or 检查

checkRules :: [Nucleotide] -> Bool
checkRules nucs = or $ map ($ nucs) [checkRule1, checkRule2]

我确实从单独的模块导入 checkRule1 和 checkRule2 - 我不知道将来是否需要更多。

我希望拥有类似的功能

-- import all functions from Rules as rules where
-- :t rules ~~> [([Nucleotide] -> Bool)]

checkRules :: [Nucleotide] -> Bool
checkRules nucs = or $ map ($ nucs) rules

程序根据给定的规则将伪核苷酸序列分类为可行和不可行的序列。提前致谢ε/2

<小时/>

附录:那么我认为对吗 - 我需要:

genList :: File -> TypeSignature -> [TypeSignature]
chckfun :: (a->b) -> TypeSignature -> Bool

在编译时。但我无法生成模块中所有函数的列表 - 因为它们很可能具有不同的类型签名，因此并非所有函数都适合一个列表。所以我无法使用 chckfun 过滤给定列表。

• 为了做到这一点，我要么想检查源文件中的书面类型签名(？)，要么检查编译器给出的推断类型(？)。

• 我想到的另一个问题是:并非源文件中编写的每个函数都可以导出？

• 这是一个 Haskell 初学者在学习 5 个月后应该尝试解决的问题吗？在经历了所有这些“编译时思考”之后，我的大脑形状就像克莱因瓶一样。

Answer 1

Hackage 上有一个很好的软件包专门用于此目的:language-haskell-extract 。特别是，Template Haskell 函数 functionExtractor 接受正则表达式，并以 (name, value) 对的形式返回匹配的顶级绑定(bind)列表。只要它们都有匹配的类型，就可以开始了。

{-# LANGUAGE TemplateHaskell #-}
import Language.Haskell.Extract

myFoo = "Hello"
myBar = "World"

allMyStuff = $(functionExtractor "^my")

main = print allMyStuff

输出:

[("myFoo", "Hello"), ("myBar", "World")]