函数式编程，语法非常类似数学

Question

我的背景是计算机科学，专攻命令式编程(C/C++，Python)。由于我目前正在努力为论文中的一些算法提供正式的描述，我想知道是否有一种函数式编程语言可以提供尽可能接近数学表示法的语法；例如，类似于Event-B提供的语法(有关屏幕截图，请参阅http://i.stack.imgur.com/JaXu0.png )，但没有Event-B的开销(状态机等)。

我的用例很简单:我希望能够想出一个公式，比如

​

​

然后用尽可能接近的语法将其输入到编程语言中，使用不同的输入来评估它，并检查它是否真的像我期望的那样。因此，性能或可重用性对我来说并不重要。

我确实意识到我可以用任何编程语言实现这些函数，但这将再次要求我在将它们转换为该语言时解释它们，在这种情况下，我很可能会犯与提出原始公式时所犯的相同的解释错误。

Answer 1

没有使用2D语法的主流语言(例如，union操作下的子集操作)。

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

Answer 2

Maple允许使用通常的数学2D语法，执行符号操作，还允许将结果转换为C或FORTRAN语言。这一功能使其作为开发人员工具，适用于规范中包含一些复杂数学的任务，并不坏。

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