math - 函数程序为 "more tractable mathematically"的说法是什么意思？

Question

函数式程序“在数学上更容易处理”这句话是什么意思？

Answer 1

这意味着您可以更轻松地证明程序的正确性(例如，通过数学归纳法)。有状态的程序(就像大多数用面向对象语言编写的程序一样)非常难以通过方程进行建模，因此很难通过方程和数学定理来推理它们。

这听起来可能像是理论上的胡言乱语，但具有重要的应用。人们赖以生存的软件(空中交通管制、导弹制导系统等)需要被证明是正确的，因为传统的测试根本无法涵盖所有​​可能的情况。