什么是$()构造？

Question

我一直试图在Haskell参考中找到这个的用法:

getHomeR = defaultLayout $ do
    setTitle "My Awesome Site"
    $(widgetFile "home")

特别:

$(widgetFile "home")

我知道$运算符优先于它的右边,但是我无法理解$()的用法.任何人？

Answer 1

这不是使用$应用程序运算符,而是涉及模板Haskell切片.

非常粗略,widgetFile "home"是在编译时运行的代码:它生成Haskell代码,然后像往常一样编译.它是Haskell 中元编程的一种形式.