haskell - 记录 QuasiQuoter 构造函数的语法

Question

documentation对于模板 Haskell 说 QuasiQuoter 被定义为

data QuasiQuoter = QuasiQuoter { quoteExp  :: String -> Q Exp,
                                 quotePat  :: String -> Q Pat,
                                 quoteType :: String -> Q Type,
                                 quoteDec  :: String -> Q [Dec] }

我遇到过如下所示的silly这样的例子。鉴于它们似乎没有填写 quotePat、quoteType 和 quoteDec 字段，它们如何工作？

silly :: QuasiQuoter
silly = QuasiQuoter { quoteExp = \_ -> [| "yeah!!!" |] }

Answer 1

答案与 TH 无关:如果您不初始化记录构造函数的字段，则尝试访问该字段将导致错误:

>data D = D {a :: Int, b :: Char} deriving Show
>D {a = 0}
D {a = 0, b = *** Exception: <interactive>:26:1-9: Missing field in record construction :Interactive.b

在这种情况下，这是期望的行为，因为某些引用器仅在特定上下文中有意义，如果使用不当，应该抛出错误。虽然，您很可能希望为报价者提供更具描述性的错误消息，如下所示:

quote = QuasiQuoter { 
   quoteExp = something, 
   quotePat = error "quote: Invalid application in pattern context." ....