Che cosa fanno queste parentesi quadre in Haskell?

Question

Ho letto il codice qui sotto 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 
    |] 

Qual è la sintassi di questi simboli [|....|]?

È una specie di zucchero sintassi?

Answer 1

Questa è la sintassi quasiquotation. Vedi anche lo wiki page. Il testo tra [ido| e |] viene passato letteralmente alla quasiquotore ido, che lo utilizza per generare un codice Haskell in fase di compilazione.