Jak utworzyć pakiet non-TH z kodu wygenerowanego przy użyciu szablonu Haskell?

Question

Robię mały pakunek, który definiuje owijarki za krotki i dodaje je tworzyć instancje, jak

newtype Tuple2 a = Tuple2 { untuple2 :: (a, a) } 
    deriving (...) 

tuple2 :: a -> a -> Tuple2 a 
tuple2 = ... 

instance Traversable Tuple2 where ... 
instance Foldable Tuple2 where ... 
instance Functor Tuple2 where ... 
instance Applicative Tuple2 where ... 

ten powtarza się od 2 do 15, więc wygląda na to zadanie dla szablonu Haskell.

Wygenerowany kod jest zawsze zgodny z Haskell 98, więc chciałbym, aby ostateczny wynik był również kompatybilny z Haskell 98. Czy można wygenerować fragment kodu za pomocą szablonu Haskell i utworzyć z niego pakiet, który nie korzysta z samego TH? (wolałbym zautomatyzowany sposób, jeśli to możliwe).

Answer 1

Istnieją narzędzia do niego:

• EvilSplicer, napisane przez Joey Hess zanim odkrył
• zeroth, które nie wydają się być w aktywny rozwój.

Nota prawna: Nie próbowałem żadnego z nich osobiście.

Answer 2

Zawsze można napisać program Haskell, który wyprowadza kod źródłowy Haskella jako zwykły plik tekstowy. Możesz skompilować to tak, jak każdy inny plik.

Co to nie daje, oczywiście:

• sprawdzania składni. (Tj. Generowany kod może zawierać błędy składniowe).
• Możliwość sprawdzenia już skompilowanego ręcznie kodu.
• Możliwość korzystania z innych funkcji GHC, takich jak wnioskowanie o typie.