Co te nawiasy kwadratowe w Haskell?

Question

czytam poniższy kod w 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 
    |] 

Jaka jest składnia tych symboli [|....|]?

Czy jest to rodzaj cukru składniowego?

Answer 1

To jest składnia quasiquotation. Zobacz także wiki page. Tekst pomiędzy [ido| i |] jest dosłownie przekazywany quasiquoterowi ido, który wykorzystuje go do generowania kodu Haskella podczas kompilacji.