使用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实现的吗？），那么它会有所帮助。