haskell - Fortran 或 TeX 到 Haskell

Question

我已经在 FriCAS(Axiom fork)中象征性地计算了一个积分，并且我想将结果粘贴为 Haskell 中的函数。但是，FriCAS 只能将输出导出为 TeX、Fortran、MathML、html、texmacs。

有没有办法将 TeX 公式解析为 Haskell？还有其他建议吗？

公式包含+ - */^ sqrt atan

Answer 1

将 TeX 解析为 Haskell 似乎会很痛苦，特别是因为它是一种图灵完备的语言；看起来像 HaTeX包裹有plans to implement a parser但还没有具体的消息。

如果您想出于格式化目的执行此操作，那么我建议使用 XML 解析器(例如 xml-conduit 或 hxt )解析 MathML 并对其进行处理。

您将遇到的主要问题是 TeX 和 MathML 都将描述公式的外观，而不是其语义。 ¹ 在您列出的所有格式中，只有 Fortran 会指定后者，但它也将是最难与 Haskell 交互的。最实用的选择可能是单独编译 Fortran 代码并通过 FFI 从 Haskell 中使用它。

当然，如果您正在处理的公式都像您的问题所建议的那样简单，那么您也许可以从 MathML 中提取函数。

¹ MathML 能够描述语义而不是外观，但我不认为它被广泛使用，并且我怀疑它是否足够精确以供计算机评估。