0

我的背景是计算机科学，专门从事命令式编程（C/C++、Python）。由于我目前正在努力为论文的某些算法提出正式的描述，因此我想知道是否有一种函数式编程语言可以提供尽可能接近数学符号的语法；例如，类似于 Event-B 提供的（参见http://i.stack.imgur.com/JaXu0.png的屏幕截图），但没有 Event-B 的开销（状态机等）。

我的用例很简单：我希望能够想出一个公式

公式

并以尽可能接近的语法将其输入到编程语言中，以使用不同的输入对其进行评估，并检查它是否真的符合我的预期。因此，性能或可重用性对我来说不是问题。

我确实意识到我可以用任何编程语言（例如 Python）来实现这些功能，但这将再次要求我在将它们翻译成该语言时解释它们，在那里我很可能会犯我在出现时已经犯过的相同解释错误用原来的公式。

4

2 回答 2

2

没有具有 2D 语法的主流语言（例如联合操作下的子集操作）。

然而，有许多带有 unicode 运算符的语言，例如Haskell

于 2013-02-01T20:36:30.477 回答
2

Maple允许使用通常的数学 2D 语法，进行符号运算，还允许将结果转换为 C 或 FORTRAN。此功能使其作为开发人员工具适用于规范包括一些复杂数学的任务。

Matlab允许使用 2D 语法以图形方式进行编程，但与 Maple 不同，它会将所有内容锁定在其环境中，因此更像是一个研究人员工具。

于 2013-02-03T11:19:59.453 回答