Hamlet 自动访问范围内的变量答案

【问题标题】：Hamlet automatic access to variables in scopeHamlet 自动访问范围内的变量
【发布时间】：2012-02-23 21:58:42
【问题描述】：

Hamlet 在被调用时会自动访问范围内的变量。不需要专门传入变量。

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

【问题讨论】：

虽然我什么都不知道，但可能是模板haskell。当然（对我来说）模板 haskell 是很神奇的，所以你去吧:) 一个更简单的例子是 QuickCheck 的 quickcheckAll：它神奇地知道你所有的 prop_* 绑定并运行它们。

【解决方案1】：

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

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

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

【讨论】：

【解决方案2】：

这是 Haskell 的 quasiquotation 的一个特性，即 [xxx| .... |] 语法。

准引用器可以访问范围内的任何变量，因此可以对它们进行插值。插值的实际实现（如果有）取决于准引用器本身。

【讨论】：