文章/答案/技术大牛

发布

问在OCaml中建立AST
EN

Stack Overflow用户

提问于 2012-11-30 19:34:49

回答 2查看 1.5K关注 0票数 6

我正在使用OCaml为Scheme的子集构建递归下降解析器。下面是语法：

    S -> a|b|c|(T)
    T -> ST | Epsilon

所以说我有：

   type expr = 
       Num of int | String of string | Tuple of expr * expr

伪码

这些函数必须返回expr类型来构建AST

parseS  lr =
   if head matches '(' then
     parseL lr
   else
     match tokens a, b, or c

使用第一组S，它们是记号和‘(’‘)：

parseL lr = 
   if head matches '(' or the tokens then
       Tuple (parseS lr, parseL lr)
  else
       match Epsilon

我的问题是，“既然我回不来()，那我该怎么回去呢？”OCaml函数需要相同的返回类型，即使对Epsilon部件保留空白，OCaml仍然采用单元类型。

parsing

ocaml

grammar

回答 2

Stack Overflow用户

回答已采纳

发布于 2012-11-30 20:06:53

据我所见，你的AST与你的语法不匹配。

您可以通过在AST类型中有一个特定的空节点来表示语法中的Epsilon来解决这个问题。

或者，你也可以改变你的语法，把Epsilon分解出来。

这里有一个没有Epsilon的等价语法：

S -> a|b|c|()|(T)
T -> S | S T

票数 6

Stack Overflow用户

发布于 2012-11-30 19:45:27

与其手工创建解析器函数，不如使用现有的方法:例如，LALR(1) 八聚氰或基于camlp4的LL(k) 解析器？

票数 4

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/13651889

复制

相似问题

问在OCaml中建立AST
EN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问在OCaml中建立ASTEN

回答 2

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问在OCaml中建立AST
EN