我正在寻找一种在Haskell中动态定义函数的方法，或者Haskell的惯用等价物，而我显然不知道这个等价物。
场景如下：我有一个tagWithAttrs函数，根据提供的String参数生成新函数。 定义大致如下：
tagWithAttrs :: String -> ([(String, String)] -> [String] -> String)
tagWithAttrs tagName = [...] -- Implementation ommited to save room.
h1 :: [(String, String)] -> [String] -> String
h1 = tagWithAttrs "h1"
main :: IO ()
main = putStrLn $ h1 [("id", "abc"), ("class", "def")] ["A H1 Test"]
-- Should display '<h1 id="abc" class="def">A H1 Test</h1>'.
可以轻松地通过使用一些模板Haskell来完成：
{-# LANGUAGE TemplateHaskell #-}
import Control.Monad (forM)
import Language.Haskell.TH
tagWithAttrs :: String -> ([(String, String)] -> [String] -> String)
tagWithAttrs tagName = undefined
$(forM ["h1", "h2", "h3"] $ \tag ->
valD (varP (mkName tag)) (normalB [| tagWithAttrs $(stringE tag) |]) [])
main :: IO ()
main = putStrLn $ h1 [("id", "abc"), ("class", "def")] ["A H1 Test"]
这将生成声明h1 = tagWithAttrs "h1"、h2 = tagWithAttrs "h2"、h3 = tagWithAttrs "h3"等。要添加更多，请将它们添加到列表中。
由于在TH中无法拼接模式，因此代码有点丑陋。否则，我们可以编写类似于[d| $(mkName tag) = tagWithAttrs $(stringE tag) |]的内容。相反，我们必须使用TH组合器手动构建声明。
如你所知，Haskell是柯里化的，函数是一等公民，因此你不需要任何魔法来实现这个。只要认识到你可以做如下操作：
import qualified Data.Map as M
import Data.Map (Map)
import Data.Text (Text)
type TagName = Text
type TagWithAttrs = Map TagName ([(String, String)] -> [String] -> String)
tagFuncs :: TagWithAttrs
tagFuncs =
M.fromList $
("h1", \xs ys -> zs) :
("h2", \xs ys -> zs) :
{- ... -}
[]
tagWithAttrs :: TagName -> [(String, String)] -> [String] -> String
tagWithAttrs = flip M.lookup tagFuncs
tagFuncs 定义为 tagWithAttrs 的本地值，使用 where 子句。虽然这样可以让你的代码更美观，但每次调用 tagWithAttrs 都会重新生成映射表。tagWithAttrs，而不是作为顶层映射表。另一个选择是使用并发变量，如 MVar 或（更好的选择）TVar。h1，它被定义为地图中的一个条目。对于 h2，你将其定义为地图中的一个条目。对于 h3……它与原始代码完全相同，一遍又一遍地重复自己。我不明白中间地图如何比 OP 更好，但也许是因为我错过了什么。你仍然必须为每个单独的标签定义一个 tagFuncs 条目，对吧？所以这张地图并没有解决任何问题。 - Louis Jackman我认为我会定义一个标签的数据类型：
data Tag = H1 | H2 | H3 ...
deriving (Show, Eq, Ord, Enum, Bounded)
Tag 值映射到相应函数的函数：tag :: Tag -> [(String, String)] -> [String] -> String
tag = tagWithAttrs . show
然后当你想调用 h1, h2, h3 时，你可以调用 tag H1, tag H2, tag H3 等等。
请注意，这与定义函数 tag_h1,tag_h2,tag_h3 没有任何区别; 实际上，你只是有稍微更长的名称(包括空格)。对我来说，这是DRY和“说出你想要的”的理想组合。对我而言，h1 并不像一个函数; 我实际上更希望认为我正在处理一系列数据项上的一个函数，而不是一个庞大的函数集合。
如果我对此的速度不满意（因为编译器可能不会优化掉所有tagWithAttrs 调用）并且我已经确定这是加速我的应用程序的“最低限度”，那么我将查看memoizing tagWithAttrs 或 tag，但在内部保持相同的接口。一种快速的可能性是： 预先填充一个包含所有标记的映射表; 你可以使用 Enum 和 Bounded 实例来完成这个过程，而不必显式重新列出所有标记(这是使用函数或字符串表示的标记无法做到的)。非严格求值的一个好处是，这可能会导致 tagWithAttrs 被评估恰好一次，用于每个实际使用的标记。
这仍然会在每个 tag 调用上留下一个数据结构查找（除非编译器足够聪明以将其优化掉，这并非不可能）。我怀疑这不会是最重要的性能瓶颈，除非你对程序的其余部分进行了大量的优化。要在编译时执行所有查找（不依赖于优化器），我认为你需要 Template Haskell。在这种情况下，我可能不会走得那么远，因为我真的怀疑我需要它运行得更快（而且我有比我更多的可用计算时间）。但即使我使用模板Haskell在编译时获取查找，我也更喜欢不让它看起来像每个标记的单独顶层函数; 我只是觉得“标记和知道如何呈现标记的函数”比“可以调用自身以呈现自身的标记”更自然和灵活。
data HtmlTag = H1 | H2 | H3 deriving (Eq, Show)，然后构建一个地图（如ertes所建议的），键为HtmlTag，使用Show实例和现有的tagWithAttrs函数。然后创建一个新函数tag :: HtmlTag -> [(String,String)] -> [String] -> String，在地图中查找标记，您将使用它作为putStrLn $ tag H1 ...。这仍然有点冗长。 - John L