F# fslex fsyacc 生产代码成熟吗？

Question

在阅读了一个 2 年历史的网页后，与 OCamel 同行相比，它确实存在 fslex/fsyacc、错误、缓慢、愚蠢等问题，我想知道满足词法解析需求的最佳选择是什么？

我之前曾将 ANTLR 与 C# 绑定一起使用，但目前正在学习 F#，当我看到它带有解析器生成器时，我感到很兴奋。由于 F# 现已正式发布，微软似乎确实打算支持和开发它。您认为 fslex 和 fsyacc 对于生产代码来说值得吗？

Answer 1

Fslex 和 fsyacc 由 F# 编译器使用，因此它们可以工作。我几年前就用过它们，它足以满足我的需求。

然而，我的经验是，F# 中的 lex/yacc 远不如 OCaml 中成熟。 OCaml 社区中的许多人已经使用它们多年，包括许多学生（似乎用它们编写一个小型解释器/编译器是一种常见的练习）。我不认为很多 F# 开发人员使用过它们，而且我不认为 F# 团队最近在这些工具上做了很多工作（例如，VS 集成并不是优先考虑的事情）。如果您不是很迫切，Fslex 和 fsyacc 可能就足够了。

解决方案可能是调整 Menhir（具有几个不错功能的 camlyacc 替代品）以将其与 F# 一起使用。我不知道这会有多少工作量。

就个人而言，我现在每次需要编写解析器时都会使用 FParsec 。它的使用方式有很大不同，但它也更加灵活，并且可以生成良好的解析错误消息。我对它非常满意，当我有疑问时，它的作者总是非常有帮助。

Answer 2

Fslex 和 fsyacc 当然可以用于生产使用。毕竟，它们在 Microsoft Visual Studio 2010 中使用，因为 F# 词法分析器和解析器是使用它们编写的（F# 编译器源代码也是一个很好的例子，演示了如何有效地使用它们）。

我不确定 fslex/fsyacc 与 OCaml 等效项或 ANTLR 相比如何。然而，Frederik Holmstrom 有一篇文章将 ANTLR 与用 F# 编写的手写解析器进行了比较 在 IronJS 中使用。不幸的是，他没有fslex/fsyacc版本，所以没有直接比较。

为了回答一些特定的问题 - 您可以获得 MSBUILD 任务来运行 fslex/fsyacc 作为构建的一部分，因此它集成得很好。你没有得到语法突出显示，但我认为这没什么大不了的。它可能比 OCaml 版本慢，但这仅在更改解析器时影响编译 - 我对 F# 解析器进行了一些修改，但没有发现编译时间有问题。

Answer 3

fslex 和 fsyacc 工具是专门为 F# 编译器编写的，并不适合更广泛的使用。也就是说，借助这些工具，我已经成功地将重要的代码库从 OCaml 移植到 F#，但由于 F# 端完全缺乏 VS 集成（OCaml 与语法优秀集成），这很费力。突出显示、跳转到定义和错误返回）。特别是，我将尽可能多的 F# 代码从词法分析器和解析器中移出。

我们经常需要编写解析器，并要求微软添加对 fslex 和 fsyacc 的官方支持，但我不相信这会发生。

我的建议是，仅当您需要翻译使用 ocamllex 和 ocamlyacc 的大型旧版 OCaml 代码库时，才使用 fslex 和 fsyacc。否则，从头开始编写解析器。

我个人不喜欢解析器组合器库，更喜欢使用类似于 s 表达式解析器的活动模式编写解析器：

let alpha = set['A'..'Z'] + set['a'..'z']
let numeric = set['0'..'9']
let alphanumeric = alpha + numeric

let (|Empty|Next|) (s: string, i) =
  if i < s.Length then Next(s.[i], (s, i+1)) else Empty

let (|Char|_|) alphabet = function
  | Empty -> None
  | s, i when Set.contains s.[i] alphabet -> Some(s, i+1)
  | _ -> None

let rec (|Chars|) alphabet = function
  | Char alphabet (Chars alphabet it)
  | it -> it

let sub (s: string, i0) (_, i1) =
  s.Substring(i0, i1-i0)

let rec (|SExpr|_|) = function
  | Next ((' ' | '\n' | '\t'), SExpr(f, it)) -> Some(f, it)
  | Char alpha (Chars alphanumeric it1) as it0 -> Some(box(sub it0 it1), it1)
  | Next ('(', SExprs(fs, Next(')', it))) -> Some(fs, it)
  | _ -> None
and (|SExprs|) = function
  | SExpr(f, SExprs(fs, it)) -> box(f, fs), it
  | it -> null, it

这种方法不需要任何 VS 集成，因为它只是普通的 F# 代码。我发现它易于阅读且易于维护。我的生产代码的性能已经足够了。