haskell - Haskell中的这些方括号是什么？

Question

我在 Indexed Monad 中阅读了以下代码

{-# LANGUAGE QuasiQuotes #-}
import Control.Monad.Indexed.State
import Control.Monad.Indexed
import Language.Haskell.IndexedDo

hoge :: IxState Int [Int] ()
hoge = [ido|do
    imodify (*10)
    imodify show
    imodify reverse
    imodify (++"123")
    imodify $ map fromEnum
    |]

这些符号的语法是什么 [|....|] ?

它是某种语法糖吗？

Answer 1

这是quasiquotation句法。另见wiki page . [ido| 之间的文字和 |]逐字传递给准引用者 ido ，它使用它在编译时生成一些 Haskell 代码。