Những dấu ngoặc vuông này trong Haskell là gì?

Question

Tôi đọc mã dưới đây vào 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 
    |] 

cú pháp của các biểu tượng này [|....|] là gì?

Có một số loại đường cú pháp không?

Answer 1

Đây là cú pháp quasiquotation. Xem thêm wiki page. Các văn bản giữa [ido| và |] được chuyển nguyên văn cho người quasiquoter ido, sử dụng nó để tạo ra một số mã Haskell tại thời gian biên dịch.