functional-programming - 符号计算和函数式编程有关系吗？

Question

关闭。这个问题需要更多focused .它目前不接受答案。












想改善这个问题吗？更新问题，使其仅关注一个问题 editing this post .

2年前关闭。




Improve this question




我想知道是否 symbolic computation在 Computer Algebra System (例如 Matlab、Mathematica 中的符号工具箱)和 functional programming相关又如何？前者属于后者吗？

感谢致敬!

Answer 1

他们是不同的野兽。但是，重叠的一点是术语重写语言，例如 pure ( http://code.google.com/p/pure-lang/ )。 Pure 可以用作纯函数式编程语言。然而，由于它是通过术语重写而不是图简化来实现的，它的表达式总是能够被模式匹配到它们的位并进行转换。这种符号操作是计算机代数系统的关键特征之一。也就是说，计算机代数系统的很大一部分力量来自于大量的数学知识，尤其是强大的算法来解决各种棘手的问题。你可以用函数式语言编写库来做到这一点(代数数据类型会让它比命令式语言更令人愉快)，但你仍然需要编写这些库。