Fortran或TeX到Haskell

作者: 蜡笔小辛
发布时间: 2024-07-30 07:09:57 (3天前)
转自：

3 条回复

0#
回复此人
哦哦了 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> 答案特定于FriCAS。可以将输出产生为spad字符串，如中所述 <a href="http://groups.google.com/group/fricas-devel/browse_thread/thread/876ba03b42160f49/b9cab60bb3abf561?hl=en&lnk=gst&q=inputform" rel="nofollow"> FriCAS邮件列表 </A> 。对我来说是 <pre> <code> unparse(rootSimp((integrate(integrate(halfL - sqrt(r^2-x^2-y^2), y = (sqrt(r^2-halfL^2-x^2))..halfL, "noPole"), x = (sqrt(r^2-2*halfL^2))..halfL,"noPole")) :: Expression(DoubleFloat)) :: INFORM) </code> </pre> 然而，Spad语法与Haskell非常相似 <code> unparse </code> 代表 <code> sqrt </code> 如 <code> ^(1/(2.0)) </code> 。进行中 <code> **0.5 </code> 是一个肮脏的黑客，但毕竟使用分析公式而不是2D数字集成的速度增加涵盖了效率低下 <code> ** </code> 。 </DIV>

编辑
1#
回复此人
爱我真好 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> 将TeX解析为Haskell似乎很痛苦，特别是因为它是图灵完备的语言;好像是 <a href="http://hackage.haskell.org/package/HaTeX" rel="nofollow"> HaTeX </A> 包有 <a href="http://hackage.haskell.org/packages/archive/HaTeX/latest/doc/html/Text-LaTeX-Base-Parser.html" rel="nofollow"> 计划实现解析器 </A> 但没有具体的。 如果你想为格式化目的这样做，那么我建议用XML解析器解析MathML（例如 <a href="http://hackage.haskell.org/package/xml-conduit" rel="nofollow"> XML的管道 </A> 要么 <a href="http://hackage.haskell.org/package/hxt" rel="nofollow"> HXT </A> ）而是处理它。 您将遇到的主要问题是TeX和MathML都将描述 出现 公式，而不是它 语义 。 1 在你列出的所有格式中，只有Fortran会指定后者，但它也是最难与Haskell接口的。最实用的选项可能是单独编译Fortran代码并使用Haskell和FFI进行编译。 当然，如果你正在处理的公式都像问题所暗示的一样简单，那么你可以从MathML中提取函数。 1 MathML能够描述语义而不是外观，但我不认为它被广泛使用，我怀疑它对计算机的评估是否足够精确。 </DIV>

编辑

登录后才能参与评论