FBM242 RH916TA 函数式编程概念的用户的困惑

FBM242 RH916TA 函数式编程概念的用户的困惑

在20世纪80年代，佩尔·马丁·勒夫发达的直觉类型理论(也称为建设性的类型理论)，它将函数式程序与建设性的证明表示为从属类型。这导致了新的方法交互式定理证明并影响了后来函数式编程语言的发展。^{[需要引用]}

懒惰的函数式语言，天卫五，由大卫·特纳开发，最初出现于1985年，对哈斯克尔。由于Miranda是专有的，Haskell在1987年一致同意成立一个开放标准用于函数式编程研究；自1990年以来，实施版本一直在进行。

最近，它已经在诸如参数化计算机辅助设计在……里OpenSCAD语言建立在CGAL框架，尽管它对重新赋值的限制(所有值都被视为常量)导致了不熟悉函数式编程概念的用户的困惑。^[52]

函数式编程继续在商业环境中使用。^[53][54][55]

一些概念^[56]和范例是函数式编程特有的，通常与命令式编程(包括面向对象编程).然而，编程语言经常迎合几种编程范式，所以使用“大多数命令式”语言的程序员可能已经利用了其中的一些概念

*博客内容为网友个人发布，仅代表博主个人观点，如有侵权请联系工作人员删除。