Haskellでプログラムを生成する

Question

Haskellでいくつかのプログラムを自動生成する必要があります。タイプシステム、または他のhaskell-clevernessでセマンティックルールを強制する、これに最適なアーキテクチャは何ですか？そうでなければ私はちょうど文のリストを持っているでしょう：

type program = [Statement] 
data Statement = 
    Variable x | 
    IfStatement Condition [Statement] | 
    ... 

Answer 1

あなたはHaskellのを生成している意味場合は、Template Haskell

Answer 2

をチェックアウトおそらく、あなたはHStringTemplateを見てもらいたいですよ。あなたが既に "StringTemplate"（Javaで最初に実装されたもの）を経験しているなら、それは助けになるでしょう。