这些方括号在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代码。