Was haben diese eckigen Klammern in Haskell?

Question

las ich den Code unten in 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 
    |] 

Was ist die Syntax dieser Symbole [|....|]?

Ist es eine Art Syntaxzucker?

Answer 1

Dies ist quasiquotation Syntax. Siehe auch die wiki page. Der Text zwischen [ido| und |] wird wörtlich an den Quasiquoter ido übergeben, der es verwendet, um einige Haskell-Code zur Kompilierzeit zu generieren.