如何摆脱 $(...) 和 [| ... |] 使用 Template Haskell 函数时的语法？

Question

我正在尝试学习一些模板 Haskell。作为练习，我编写了一个函数，它可以生成像isLeft 和isRight 之类的东西（灵感来自this question）。这是我卑微的尝试：

isA connam = do
    ConE nam <- connam
    nn <- newName "p"
    lamE [varP nn] $ caseE (varE nn) [
                       match (conP nam [wildP]) ( normalB [| True |] ) [],
                       match wildP ( normalB [| False |] ) [] 
                     ]

问题是我必须写$(isA [| Left |]) 而不是更直观的isA Left。是否有可能摆脱丑陋的语法？我似乎无法在文档中找到答案。

该函数仅适用于单参数构造函数，但这是针对another question。

Answer 1

语法存在是有原因的；告诉读者这里有编译时魔法。只有当您的接头位于顶层时，您才能消除$(...)。

但是，我们可以消除[| ... |]，并通过使用Name 而不是Exp，使代码更安全：

isA nam = do
    nn <- newName "p"
    lamE [varP nn] $ caseE (varE nn) [
                       match (conP nam [wildP]) ( normalB [| True |] ) [],
                       match wildP ( normalB [| False |] ) [] 
                     ]

要使用这个，你可以写$(isA 'Left)，这样会更容易一些。

作为奖励，如果您尝试给它提供除 Name 以外的其他内容，则会收到类型错误，而不是无可辩驳的模式匹配错误。

另请参阅：Template Haskell Syntax