使用 Haskell 生成程序答案

【问题标题】：Generating programs with Haskell使用 Haskell 生成程序
【发布时间】：2012-07-27 16:18:59
【问题描述】：

我需要用 Haskell 自动生成一些程序。什么是最好的架构，它使用类型系统或其他haskell-cleverness强制执行语义规则？否则我只会有陈述列表：

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

【问题讨论】：

您希望执行什么样的语义规则？可以使用GADTs to enforce some rules such as simple type checking，但您必须详细说明您要完成的工作才能获得更具体的答案。
生成的程序应该用哪种语言编写？
您希望强制执行哪些语义规则？

标签： haskell

【解决方案1】：

如果您的意思是生成haskell，请查看Template Haskell

【讨论】：

【解决方案2】：

也许您想看看HStringTemplate。如果您已经熟悉“StringTemplate”（最初是在 Java 中实现的？），这可能会有所帮助。

【讨论】：