Tim*_*Tim 6 functional-programming symbolic-math computer-algebra-systems
我在想,如果符号计算的计算机代数系统(如在Matlab,数学符号工具箱)和函数式编程相关的,怎么样？前者属于后者吗？
感谢致敬!
他们是不同的野兽。然而，有一点重叠是术语重写语言，例如 pure ( http://code.google.com/p/pure-lang/ )。Pure可以用作纯函数式编程语言。然而，由于它是通过术语重写而不是图简化来实现的，因此它的表达式总是能够与它们的位进行模式匹配并进行转换。这种符号操作是计算机代数系统的关键特征之一。也就是说，计算机代数系统的很大一部分力量来自于大量的数学知识，尤其是用于解决各种棘手问题的强大算法。您可以使用函数语言编写库来执行此操作（代数数据类型将使其比命令式语言更令人愉快），但您仍然需要编写这些库。