Tạo mã cuối cùng từ mẫu mã Haskell

Question

Vấn đề

Có thể tạo ra "tinh khiết" Haskell mã ra của một bao gồm các chức năng Template Haskell?

Tôi muốn lấy mã nơi tất cả các qutations và mối nối của Mẫu Haskell được mở rộng? (Để nuôi nó thành một trình biên dịch Haskell (Haste), mà không hỗ trợ Template Haskell được nêu ra.)

Ví dụ

mô-đun TupleReplicate:

tupleReplicate n = do 
    id <- newName "x" 
    return $ LamE ([VarP id]) (TupE $ replicate n $ VarE id) 

chính:

main :: IO() 
main = do 
    print $(tupleReplicate 3) "x" 
    return() 

có thể được mở rộng đến:

main :: IO() 
main = do 
    print (\x->(x,x,x)) "x" 
    return() 

Answer 1

Các giải pháp sử dụng Template Haskell máy in khá có thể được tìm thấy ở đây: Preferred method for viewing code generated by Template Haskell

Ngoài ra còn có các công cụ khác, như trả lời cho một câu hỏi ở đây: How to create a non-TH package from code generated using Template Haskell?

Kết quả của -ddump-splices không phải lúc nào cũng Haskell hợp lệ mã, nó chỉ dành cho lập trình viên.

Answer 2

Cách dễ nhất là biên dịch (hoặc giải thích GHCi) với -ddump-splices.