haskell - GHC 重写规则是否知道识别语法糖？

Question

例如对于列表，如果我用 myFn [x] 的 LHS 编写规则, 程序员写myFn (x:[]) 时也能开火吗？ ?还是我必须为每种可能的语法编写单独的规则？

Answer 1

重写规则会被取消糖分。所以像这样的重写规则

{-# RULES
  "myFn/singleton"    forall x. myFn [x] = myOtherFn x
#-}

将在内部存储为

forall x. myFn (x:[]) = myOtherFn x

然后将其应用于程序的脱糖形式。 (GHC 中的所有优化都发生在程序的脱糖形式上)。