是否有任何通用语言支持n+2=3或更高？

Question

是否支持任何通用语言，例如：

n + 2 = 3;

以确保'n‘现在可能读作1，或在其他情况下读作某种程度上但不完全不确定的值。

除此之外，还有一些可以支持这个概念的算法，例如字符串和数字的混合，以及连接、子串、数字位旋转等概念。不是因为有人将它硬编码到语言中，而是因为语言理解如何使用它对事物如何工作的知识(您的C++样式类、对象等无类脚本语言、存在的函数等)。并利用这些知识重新排列事物，这在代数中是很常见的。

Answer 1

我猜只有Prolog才能做这样的事情(只计算著名的编程语言)。

Answer 2

当然:如果我没记错的话，Algol 60声称支持这种特殊情况(不确定..这已经有一段时间了:)然而，只有简单的线性情况，这是没有用的，因为它很容易在你的头脑中从两边减去常数。

然而，许多现代语言在其类型系统方面向编译器提出了更难解决的问题。许多允许提出有解决方案但编译器不能解决的类型问题，这对于执行类型推断的编译器来说尤其正确。

Answer 3

Haskell 具有所谓的“n--k”模式，例如，您可以将阶乘函数编写为：

fac 0     =  1
fac (n+1) = (n+1) * fac n

这现在被认为是一个坏主意(一些reasons here)，并从语言规范中删除(在Haskell98中不建议使用，在Haskell2010中删除)。但!在Haskell的未来版本中，有一种更复杂、更通用的形式：

View Patterns --请参阅"N+K模式“一节