文件名称：mfxparser:优先级爬升mixfix解析器
文件大小：16KB
文件格式：ZIP
更新时间：2024-07-03 16:26:04
Haskell
解析器 我使用优先级爬升解析器技术结合 monadic 解析来开发一个 mixfix 解析器。 通过 monadic 解析，我们可以处理一些歧义和重叠，例如，如果我们必须为运算符添加前缀if_then_和if_then_else ，以及表达式if e0 then if e1 then e2 else e3 ，则if_then_最长匹配，它被分析为if e0 (if e1 then e2 else e3) 。 我还包括解析量词、容器、替换以及连接运算符的计算语法。 ( ) Mixfix 解析能够扩展带有前缀、中缀和后缀运算符的语言，并在 Agda、Maude、Coq 等语言中使用。 优先级解析器基于通过优先级爬升来解析表达式 一些示例位于 Examples.hs 文件中 我开发这个解析器是为了构建一个计算风格的证明助手。
【文件预览】：
mfxparser-master
----.gitignore(113B)
----src()
--------MixFix()
--------Proof()
----LICENSE(1KB)
----MfxParser.cabal(2KB)
----README.md(1KB)
----Example.hs(4KB)