Generowanie kodu końcowy z szablonu kod Haskell

Question

Problem

Czy to możliwe, aby wygenerować „czysty” kod Haskell z jednego szablonu tym funkcje Haskell?

Chcę uzyskać kod, w którym wszystkie hacje i spawy szablonów Haskell są rozszerzane? (W celu zasilania go w innym Haskell kompilator (szybciej), która jeszcze nie obsługuje szablon Haskell).

Przykład

moduł TupleReplicate:

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

główny:

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

można rozszerzyć do:

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

Answer 1

rozwiązanie wykorzystujące Szablon Haskell ładny drukarki można znaleźć tutaj: Preferred method for viewing code generated by Template Haskell

Są też inne narzędzia, jak odpowiedział na pytanie tutaj: How to create a non-TH package from code generated using Template Haskell?

Wynik -ddump-splices nie zawsze jest ważny Haskell kod, jest tylko dla programisty.

Answer 2

Najprostszym sposobem jest kompilacja (lub interpretacja w GHCi) za pomocą -ddump-splices.