haskell - Hamlet 自动访问范围内的变量

Question

来自 Yesod Book .

Hamlet automatically has access to the variables in scope when it's called. There is no need to specifically pass variables in.

这是什么深奥魔法？它如何自动知道范围内的变量是什么？

Answer 1

哈姆雷特基于 Template Haskell ;尤其是 quasiquoter (即 [hamlet| ... |] )用于内联模板，拼接(即 $(hamletFile "foo") )用于从文件创建模板。然后使用 Template Haskell 的自省(introspection)功能访问这些变量。

除了允许自动访问变量之外，这还有其他好处:

生成的模板可能比在运行时解析和解释的模板更有效，因为 Hamlet 模板在编译时被编译为常规的 Haskell 代码。

从文件中读取模板时，文件在编译时被解析并嵌入到生成的二进制文件中，因此模板不必在运行时保持在同一位置，并且模板的有效性是静态确保的。

我相信这些优势适用于所有 Shakespeare -家庭模板。 The Haddock documentation有更多关于可用准引用器和接头的信息。