[论文解读] How to turn a scripting language into a domain specific language for computer algebra

Raphaël Jolly, Heinz Kredel|ArXiv.org|Nov 6, 2008

Model-Driven Software Engineering Techniques参考文献 9被引用 3

一句话总结

本文提出使用 Python、Ruby、Groovy 或 Scala 等现代脚本语言作为基于 Java 的计算机代数系统（CAS）的交互式前端，通过操作符重载和动态符号处理，实现直观的符号数学计算。主要发现是，这四种语言均可以极低的实现开销有效充当 CAS 的领域特定语言（DSL），实现与 Java 类库的无缝集成，并支持类似纸笔书写的数学表达式。

ABSTRACT

We have developed two computer algebra systems, meditor [Jolly:2007] and JAS [Kredel:2006]. These CAS systems are available as Java libraries. For the use-case of interactively entering and manipulating mathematical expressions, there is a need of a scripting front-end for our libraries. Most other CAS invent and implement their own scripting interface for this purpose. We, however, do not want to reinvent the wheel and propose to use a contemporary scripting language with access to Java code. In this paper we discuss the requirements for a scripting language in computer algebra and check whether the languages Python, Ruby, Groovy and Scala meet these requirements. We conclude that, with minor problems, any of these languages is suitable for our purpose.

研究动机与目标

• 解决基于 Java 的计算机代数系统（CAS）缺乏交互式、用户友好的脚本接口的问题。
• 通过重用具备强大 Java 互操作性的成熟脚本语言，克服自定义 DSL 的局限性。
• 实现自然的数学表达式输入与操作，使其与纸笔书写形式保持一致。
• 评估并比较多种现代脚本语言在实现 CAS 前端方面的适用性。
• 建立一个可重用的框架，用于将符号计算库与高级、交互式的脚本环境集成。

提出的方法

• 评估脚本语言（Python、Ruby、Groovy、Scala）在关键 CAS 要求方面的能力：符号定义、操作符重载以及内置类型的扩展。
• 通过玩具代码实现原型，演示每种语言中符号创建和算术操作符重载的实现。
• 利用 Java 互操作特性，直接从脚本环境中访问现有的基于 Java 的 CAS 库（如 JAS、meditor）。
• 探索多种强制转换与操作符解析策略：Python 的反向方法调用、Ruby 的显式强制转换方法、Groovy 的上下文相关操作符绑定，以及 Scala 的隐式视图转换。
• 设计包装类和工厂方法，将基于字符串的表达式映射到原生代数类型（如 PolynomialRing、Expression）。
• 评估在性能、表达力和可维护性方面，四种语言之间的权衡，重点关注实现完整功能所需的最小代码修改。

实验结果

研究问题

• RQ1 现代脚本语言能否被有效重用于作为交互式计算机代数系统的领域特定语言（DSL）？
• RQ2 脚本语言在 CAS 环境中支持直观符号数学的关键语言特性是什么？
• RQ3 Python、Ruby、Groovy 和 Scala 等不同脚本语言在代数表达式的操作符重载和类型强制转换方面表现如何？
• RQ4 在这些语言中扩展内置类型或实现自定义强制转换机制时，性能与可维护性之间的权衡如何？
• RQ5 在不进行大规模重写的情况下，现有基于 Java 的 CAS 库在多大程度上可以通过脚本前端暴露？

主要发现

• 在评估的四种脚本语言——Python、Ruby、Groovy 和 Scala 中，均可以极低的实现成本有效充当基于 Java 的计算机代数系统的前端。
• Python 通过最少的复杂度实现所需功能，主要依赖反向方法重载（如 __radd__、__rmul__）实现表达式与数字之间的无缝交互。
• Ruby 通过显式 `coerce()` 方法实现强制转换，并可扩展内置类，但可能带来性能开销。
• Groovy 需要使用上下文块进行操作符绑定，这限制了其在交互式场景中的使用，且扩展内置类型需低层级重实现操作符。
• Scala 的视图界定与隐式转换提供了清晰且可扩展的强制转换机制，特别适合复杂的代数类型系统。
• 本研究结论为：通过少量实现调整，四种语言中的任意一种均可成功转化为可用的 CAS 领域特定语言，实现表达性强、可读性高且交互式的符号计算。