什么是 FP？

DQP

谢谢
是我太钻牛角尖了。

chenzengjie

函数式语言来自数理逻辑里的演算理论, 本就是为了表达逻辑推理. 就象你学数学的时候你听说过赋值? 大家一开始学编程的时候不都是为赋值语句感到奇怪吗? "怎么这里的=号是这个意思?"

我听说lisp当初发明出来的时候本来就是为了在纸上用来演算符号和证明的,  麦卡锡自己都不相信能在机器上实现. 后来他的学生才在IBM7094上用汇编写出来求值器.

一个是机制; 一个是策略.

PeterGhostWolf

我记得SICP里有一句话(不一定准确)
"我们把不使用赋值的程序设计风格称为函数式程序设计风格."
可能这种风格的程序比较适合表达一些数学上自然科学上的思想吧

albertlee

把函数当作 first-class 的对象 （非OO中的意思）， 可以当作参数和返回值（高阶函数），可以组合。程序主要通过函数求值来完成。
其他的特性：纯FP，没有副作用（不修改全局和外部状态，没有IO，，对同样的输入值总是有同样的输出）
Haskell中发展的： Curry 函数

等等

x2

原帖由 flw 于 2009-3-25 16:54 发表
问题的焦点在于要计算什么，而不是如何计算。

SICP上的原话：

In mathematics we are usually concerned with declarative (what is) descriptions, whereas in computer science we are usually concerned with imperative (how to) descriptions.

命令式和函数式的焦点恐怕还是如何计算，prolog这样的逻辑式语言的焦点才是要计算什么。

[ 本帖最后由 x2 于 2009-3-30 20:47 编辑 ]

nicozhou

原帖由 flw 于 2009-3-25 17:41 发表

对头！
原文里确实有一段 SQL！

http://www.haskell.org/haskellwi ... onal_programming.3F

那可以说ＳＱＬ的查询分析器里面的语句是ＦＰ吗？

以前写ＳＱＬ的查询分析语句还总很疑惑：咋个这样写代码，感觉就是在描述一个function，然后执行，然后结果就出来了。

现在想想，有点像。

MMMIX

原帖由 nicozhou 于 2009-3-31 16:52 发表


那可以说ＳＱＬ的查询分析器里面的语句是ＦＰ吗？

SQL 属于 declarative programming，和 functional programming 还是有一些区别的。看下 Wikipedia 上的对应条目。