如何最好地表示一种编程语言的语法？

我一直在寻找Haskell，我很想编写一个编译器（作为学习练习），因为它的许多先天特性可以很容易地应用于编译器（特别是递归体面编译器）。

我无法理解的是如何用Haskell-Ian方式表示语言的语法。 我的第一个想法是使用递归数据类型定义，但我看不到如何使用它们与语言中的关键字（“if”）匹配。

思考和建议非常感谢，

皮特

递归数据类型对此很好。 例如，给定语言：

expr ::= var
      |  "true"
      |  "false"
      |  "if" expr "then" expr "else" expr
      |  "(" expr ")"

这种语言的一个示例表达式是：

if true then x else (if false then y else true)

你的Haskell数据类型看起来像这样：

data Expr = Var String
          | Lit Bool
          | If Expr Expr Expr

然后，解析器会将如x转换为Var "x" ，并将true转换为Lit True等。即：

parse "if x then false else true" 
  ==  If (Var "x") (Lit False) (Lit True)

为了编写解析器，你可以使用Norman的答案中提到的技术，或者使用Parsec或使用像Happy这样的解析器生成器来编译你自己的解析器。

您使用相互递归的代数数据类型表示程序，并解析您使用解析组合器的程序 。 有一百万种口味。 您将在2009年3月23日星期一为我的课程安排上找到三份有用的教程文件