Cha*_*ers 3 math functional-programming
函数式程序"在数学上更易处理"的说法是什么意思？
Cyb*_*bis 10
这意味着您可以更轻松地证明程序正确(例如,通过数学归纳).有状态的程序(像大多数用面向对象语言编写的程序)很难通过方程建模,因此很难通过方程和数学定理对它们进行推理.
这可能听起来像理论上的巨大,但具有重要的应用.人们赖以生存的软件(空中交通管制,导弹制导系统等)需要被证明是正确的,因为传统的测试根本无法涵盖所有可能的情况.
Mic*_*ers 5
维基百科对函数式编程的定义始于:
在计算机科学中,函数式编程是一种编程范式,它将计算视为数学函数的评估,并避免状态和可变数据.
换句话说,有可能在数学上证明关于功能性程序的事情(几乎)不可能证明命令式程序.
归档时间：
16 年，9 月 前
查看次数：
1897 次
最近记录：