[color=red][size=12]!我的圈子[url="http://wfp.group.iteye.com"]函数式编程の道[/url]已经建立,对 FP 感兴趣的人可以加入,共同探讨这一古老的新事物![/size][/color]
[quote]写在前面的话:Scheme、函数式编程(FP) 已入门者无须阅读。
这是我很久以前在自己写的一篇文章,现在又拿出来,是为了在 JavaEye 上造势,让访客们看一看 Scheme & 函数式编程世界的精彩(如果还不知道什么的 FP 的话)——当然,我绝对没有要贬低其它语言(除了 Java)的意思,事实上我最喜欢的语言之一就是文中提到的 C。好了,不罗嗦了,让我们一起来推开 Scheme 那道门吧。造势之后,我会写文章,结束关于函数式编程语言效率问题的讨论,值得期待哦~~
PS: 文中的 C、Java 代码可能不可以运行,它们只是用来说明问题的。[/quote]
[b]剧本:[/b]《古老,但很神奇》
[b]人物:[/b]XX大学计算机系的社友 Go4——8呆,F1,老农和小四。
[b]时间:[/b]“晚汇报”时间…
(老农在计算机系混的时间不短了,可惜技术一直没长进——连打电脑游戏都“不上档次”(小四语)。这不,昨天打 CS 又被 F1 欺负了,现在正郁闷着呢。)
老农(上网无聊中):这年头,电脑好的人就是吃香啊~~(旁白)俺编程也差,游戏也差,废啦~~有了,上 CSDN.net,找点文章进修一下。
F1:老农,怎么样,CS 技术不行啊!好好练吧!
小四(推推眼镜):老农伯伯!算了吧,我看你还是把编程学学好吧,哈哈,你那本《数据结构》好像还是新的吧?
(老农翻着 CSDN 上最新的 Blog 文章,忽然眼睛一亮。)
小四:嘿,发现什么了?
老农(连忙把 Firefox 最小化):没什么,又不是黄网激动什么?!
老农(旁白):不错,就用这篇文章 K.O.他们。
老农(满脸堆笑):嘿,你们仨过来,我在网上发现一道数据结构方面的面试题目,想不想试试?
(正在上铺捧着 SIC P发呆的8呆忽然从发呆状态切换到亢奋状态,人啊~~)
8呆:少废话,快说!
老农(奸笑中):设计一个函数 visit_tail,要求通过一次遍历找到链表中倒数第n个节点,然后从它开始用函数 func 例遍后面的所有链表元素,链表可能相当大,可使用辅助空间,但是辅助空间的数目必须固定,不能和n有关。还有,为了简化问题,可以不给出链表的其它操作函数,比方说内存分配。
8呆(再次切换回发呆状态):无聊…这也配叫题目…
老农(怒):那你做啊!
(8呆在他的 SICP 上写了点什么,然后很潇洒地离开了寝室)
老农(专向另两个人):既然他不参加,那我们三个比吧。
小四、F1(信心实足):那现在开始计时吧。
…………
(老农把刚才背下来的代码改了改,花了3分钟抄在终端里)
老农(觉得时机移到):我好了,你们呢?
小四(大喊):解决解决!
F1:恩,我也好了,只是还没做单元测试。
(老农、小四(旁白):我说你是编程还是写软件啊~~)
(3个人凑在老农的电脑上开始比拼)
老农:你们看,我是用 C 写的,已经测试过的。思想是,用两根指针,第一根先出发,相距 n 步后第二根出发。然后同时步进,直到第一根指针达到末尾,然后用 func() 函数对第二个指针开始的子链表进行例遍。
(小四和 F1 仔细一看,大笑不止。老农的代码如下(注释是笔者所加,其实是F1和小四看到各句时的反应):)
[code]
typedef struct{ //哟,终于不用struct Node了,
int data;
Node * next;
} Node;
Node * visit_tail(iNode * head,int n,void (* func)(int cur)){
//K&R 时代的函数指针,见到老佛爷啦!!Node *pfirst;
Node *psecond; //吓,终于用到匈牙利命名法了(老农:#!?%)
pfirst=head;
for(counter=0;counter<n;counter++){
if(pfirst->next)
pfirst=pfirst->next;
else
return NULL; //什么破编程风格,真实版初学者啊
}
psecond=head;
while(pfirst!=NULL) {
pfirst=pfirst->next;
psecond=psecond->next;
}
for(int i=0;i < n; i++)
(* func)(psecond.data);
psecond=psecond->next;
}
} //靠,一个函数解决所有问题,高耦合啊!
[/code]
老农(再怒):小四少罗嗦!你的呢!拿出来啊?!
小四:在这儿,好好学学吧!
(大家一看,小四也用了 C,但…好漂亮啊。代码如下(注释是小四的解释):)
[code]
typedef T int
//没有 C++ 一样“泛型”!
typedef struct {
T data;
Node * next;
} Node;
typedef struct {
Node * pre;
Node * curr; //当前结点与 List 绑定,不但可以分步例遍,还能保证正确初始化
} List;
void init_curr (List * l) {
l->curr = l->pre; //什么叫“编程风格”,知道不?!
}
void visit (List *l, void (* func)(T data)) {
while (l-curr) { //少用 !=NULL,这可是《The C Programing Language》上说的!
(* func)(l-curr->data);
l-curr = l->curr->next;
}
} //使用内联结点的公用访问函数,降低耦合
void index (List * l, int n) {
if (n) return NULL; //结点下标从1开始
init_curr(l);
if (n > 0) {
for (int i = 0; i < n; i++) {
curr = l->curr->next;
}
} //小四(自我陶醉):漂亮啊
if (n < 0) {
tmp = l->curr;
for (int i = 0; i < n; i++) {
tmp = tmp->next;
}
while (tmp) {
l->curr = l->curr->next;
tmp = tmp->next;
}
}
return l->curr; //方便用户,增强鲁棒性能
}
void visit_tail (List * l, int n, void (* func)(T data)) {
index(l, -n);
visit(l, func);
} //多清爽
[/code]
老农(口吐白沫):我的挽回面子计划就这么,完了…
小四(偷笑):你还是面对现实吧…
F1:小四你先别得意,我的你们还没拜读过呢!
(大家跑到 F1 电脑前一看,先是被长度吓了一跳,然后,无语。)
[code]
package datastruct.fifi.com.baidu.hi; //加入我的数据结构Java包
//当然只有包内成员才能创建Node对象
protected class Node {
private Object data; //多态性,让你们的 typedef 去死吧!
private Node next;
//构造函数
Node (Object data) {
this.data = data;
}
//获取下一个元素
public Node next () {
return this.next;
}
//变换下一个元素,用户不能调用
protected void setNext (Node o) {
this.next = o;
}
//取数据
public Object getData () {
return this.data;
}
//换数据
public void setData (Object data) {
this.data = data;
}
//根据Effective Java的最高指导,要重写toString()方法
public String toString () {
return this.data.toString();
}
}
//自定义异常类,数据结构下标越界
public class IndexOutOfRangeException extend IndexOutOfBoundsException {
public IndexOutOfRangeException (int lower, int upper, int index) {
super("Lower: " + lower +", Upper: " + upper + ", index: " + index);
}
}
//用于被继承的访问类
public class Visitor {
public operation (Object o) { //访问操作
System.out.println(o);
}
}
public class List {
private Node preFix;
private Node current;
private int size;
List () {
current = preFix = new Node();
size = 0;
}
//定位函数
private void index (int i) throws IndexOutOfRangeException {
if (i > size || i < -size-1) {
thows new IndexOutOfRangeException(0, size+1, i);
}
this.init();
if (i >= 0) {
for (int j=0; j < i; j++) {
current = current.next();
}
}
if (i < 0) {
i = - i - 1;
for (int j=0; j < i; j++) {
current = current.next();
}
}
}
//基本访问函数,需要一个继承自Visitor类的访问工具
public visit (Visitor v) {
while (current != null) { //Java拒绝看不懂的 while(curr) !
v.operation (current.data());
current = current.next();
}
}
//访问后n个元素
public visitTail (Visitor v, int n) {
this.index(-n);
this.visit(v);
}
}
[/code]
小四:靠!过分了!Java真是让程序员远离算法的祸首啊!爱好算法的人千万离它远些!
老农:反正我的“扬眉吐气”计划是泡汤了,你们想怎么讨论就怎么讨论吧。。。
小四:>_< 。。。
F1:we 得意。
(3人正在争执着,忽然门“吱”的一声(什么破门)开了,8呆走了进来。)
8呆:吵什么呢,比完了没?我是第一吧?
F1、小四、老农:什么啊,你不是自顾自走了啦?!
8呆(诧异):我走之前已经写好啦。
(8呆拿来他的 SICP,递给三人。只见上面写了两行 Scheme 代码:)
[code]
(define (list-visit-tail func n l)
(map func (list-tail l (- (length l) n))))
[/code]
(编辑公曰:上面这段 Scheme 代码滴意思斯酱紫滴:先定义一个名为 list-visit-tail 的过程,然后用内置宏 list-tail 取 list 的后 n 位组成 list 返回,再用操作 map 进行例遍。过程 map 是列表基础操作,实现也就3行;它不改变列表本身,而是返回操作后的列表。不改变状态是函数式编程的精髓。)
(完)
[b]结语:[/b]
这个题目其实对于任何函数式编程语言来说都是一两句话。Scheme、Haskell它们都来自于世界上第二古老的语言 Lisp,但它们的思想博大精深——基于 lambda 演算理论的函数式编程,古老,但很神奇。
[b]参考资料:[/b]
老农说的“这篇文章”:[url="http://blog.csdn.net/yuetiantian/archive/2006/10/19/1341086.aspx"]一次遍历找链表倒数第n个节点[/url]
8呆的书SICP:[url="http://mitpress.mit.edu/sicp/"]Structure and Interpretation of Computer Programs[/url]
命令式语言的劣势:[url="http://www.nirvanastudio.org/java/why-java-and-almost-every-other-programming-language-sucks.html"]为何 Java(以及很多其他编程语言)令人不爽[/url]
函数式语言的优势:[url="http://www.nirvanastudio.org/wp-content/uploads/2006/08/why%20functional%20programming%20matters.html"]为什么函数式编程至关重要?[/url]
Scheme 入门推荐书:[url="http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-1.html"]Teach Yourself Scheme in Fixnum Days[/url]
如果你还没学过编程的话:[url="http://www.htdp.org/2003-09-26/Book/curriculum-Z-H-1.html"]How to Design Programs[/url]
如果你对函数式编程语言的效率有疑虑:
函数式语言:我的性能没问题 [url="http://www.iteye.com/topic/91076"](一)[/url]
其它有关 Scheme 的东东详见:我的 Scheme 学习笔记 ([url="http://let-in.blogspot.com/2006/09/scheme.html"]1[/url] [url="http://let-in.blogspot.com/2006/09/scheme_27.html"]2[/url] [url="http://let-in.blogspot.com/2006/09/scheme_28.html"]3[/url] [url="http://let-in.blogspot.com/2006/09/scheme_29.html"]4[/url] [url="http://let-in.blogspot.com/2006/10/scheme.html"]5[/url])
(官网可能暂时关闭)
[quote]写在前面的话:Scheme、函数式编程(FP) 已入门者无须阅读。
这是我很久以前在自己写的一篇文章,现在又拿出来,是为了在 JavaEye 上造势,让访客们看一看 Scheme & 函数式编程世界的精彩(如果还不知道什么的 FP 的话)——当然,我绝对没有要贬低其它语言(除了 Java)的意思,事实上我最喜欢的语言之一就是文中提到的 C。好了,不罗嗦了,让我们一起来推开 Scheme 那道门吧。造势之后,我会写文章,结束关于函数式编程语言效率问题的讨论,值得期待哦~~
PS: 文中的 C、Java 代码可能不可以运行,它们只是用来说明问题的。[/quote]
[b]剧本:[/b]《古老,但很神奇》
[b]人物:[/b]XX大学计算机系的社友 Go4——8呆,F1,老农和小四。
[b]时间:[/b]“晚汇报”时间…
(老农在计算机系混的时间不短了,可惜技术一直没长进——连打电脑游戏都“不上档次”(小四语)。这不,昨天打 CS 又被 F1 欺负了,现在正郁闷着呢。)
老农(上网无聊中):这年头,电脑好的人就是吃香啊~~(旁白)俺编程也差,游戏也差,废啦~~有了,上 CSDN.net,找点文章进修一下。
F1:老农,怎么样,CS 技术不行啊!好好练吧!
小四(推推眼镜):老农伯伯!算了吧,我看你还是把编程学学好吧,哈哈,你那本《数据结构》好像还是新的吧?
(老农翻着 CSDN 上最新的 Blog 文章,忽然眼睛一亮。)
小四:嘿,发现什么了?
老农(连忙把 Firefox 最小化):没什么,又不是黄网激动什么?!
老农(旁白):不错,就用这篇文章 K.O.他们。
老农(满脸堆笑):嘿,你们仨过来,我在网上发现一道数据结构方面的面试题目,想不想试试?
(正在上铺捧着 SIC P发呆的8呆忽然从发呆状态切换到亢奋状态,人啊~~)
8呆:少废话,快说!
老农(奸笑中):设计一个函数 visit_tail,要求通过一次遍历找到链表中倒数第n个节点,然后从它开始用函数 func 例遍后面的所有链表元素,链表可能相当大,可使用辅助空间,但是辅助空间的数目必须固定,不能和n有关。还有,为了简化问题,可以不给出链表的其它操作函数,比方说内存分配。
8呆(再次切换回发呆状态):无聊…这也配叫题目…
老农(怒):那你做啊!
(8呆在他的 SICP 上写了点什么,然后很潇洒地离开了寝室)
老农(专向另两个人):既然他不参加,那我们三个比吧。
小四、F1(信心实足):那现在开始计时吧。
…………
(老农把刚才背下来的代码改了改,花了3分钟抄在终端里)
老农(觉得时机移到):我好了,你们呢?
小四(大喊):解决解决!
F1:恩,我也好了,只是还没做单元测试。
(老农、小四(旁白):我说你是编程还是写软件啊~~)
(3个人凑在老农的电脑上开始比拼)
老农:你们看,我是用 C 写的,已经测试过的。思想是,用两根指针,第一根先出发,相距 n 步后第二根出发。然后同时步进,直到第一根指针达到末尾,然后用 func() 函数对第二个指针开始的子链表进行例遍。
(小四和 F1 仔细一看,大笑不止。老农的代码如下(注释是笔者所加,其实是F1和小四看到各句时的反应):)
[code]
typedef struct{ //哟,终于不用struct Node了,
int data;
Node * next;
} Node;
Node * visit_tail(iNode * head,int n,void (* func)(int cur)){
//K&R 时代的函数指针,见到老佛爷啦!!Node *pfirst;
Node *psecond; //吓,终于用到匈牙利命名法了(老农:#!?%)
pfirst=head;
for(counter=0;counter<n;counter++){
if(pfirst->next)
pfirst=pfirst->next;
else
return NULL; //什么破编程风格,真实版初学者啊
}
psecond=head;
while(pfirst!=NULL) {
pfirst=pfirst->next;
psecond=psecond->next;
}
for(int i=0;i < n; i++)
(* func)(psecond.data);
psecond=psecond->next;
}
} //靠,一个函数解决所有问题,高耦合啊!
[/code]
老农(再怒):小四少罗嗦!你的呢!拿出来啊?!
小四:在这儿,好好学学吧!
(大家一看,小四也用了 C,但…好漂亮啊。代码如下(注释是小四的解释):)
[code]
typedef T int
//没有 C++ 一样“泛型”!
typedef struct {
T data;
Node * next;
} Node;
typedef struct {
Node * pre;
Node * curr; //当前结点与 List 绑定,不但可以分步例遍,还能保证正确初始化
} List;
void init_curr (List * l) {
l->curr = l->pre; //什么叫“编程风格”,知道不?!
}
void visit (List *l, void (* func)(T data)) {
while (l-curr) { //少用 !=NULL,这可是《The C Programing Language》上说的!
(* func)(l-curr->data);
l-curr = l->curr->next;
}
} //使用内联结点的公用访问函数,降低耦合
void index (List * l, int n) {
if (n) return NULL; //结点下标从1开始
init_curr(l);
if (n > 0) {
for (int i = 0; i < n; i++) {
curr = l->curr->next;
}
} //小四(自我陶醉):漂亮啊
if (n < 0) {
tmp = l->curr;
for (int i = 0; i < n; i++) {
tmp = tmp->next;
}
while (tmp) {
l->curr = l->curr->next;
tmp = tmp->next;
}
}
return l->curr; //方便用户,增强鲁棒性能
}
void visit_tail (List * l, int n, void (* func)(T data)) {
index(l, -n);
visit(l, func);
} //多清爽
[/code]
老农(口吐白沫):我的挽回面子计划就这么,完了…
小四(偷笑):你还是面对现实吧…
F1:小四你先别得意,我的你们还没拜读过呢!
(大家跑到 F1 电脑前一看,先是被长度吓了一跳,然后,无语。)
[code]
package datastruct.fifi.com.baidu.hi; //加入我的数据结构Java包
//当然只有包内成员才能创建Node对象
protected class Node {
private Object data; //多态性,让你们的 typedef 去死吧!
private Node next;
//构造函数
Node (Object data) {
this.data = data;
}
//获取下一个元素
public Node next () {
return this.next;
}
//变换下一个元素,用户不能调用
protected void setNext (Node o) {
this.next = o;
}
//取数据
public Object getData () {
return this.data;
}
//换数据
public void setData (Object data) {
this.data = data;
}
//根据Effective Java的最高指导,要重写toString()方法
public String toString () {
return this.data.toString();
}
}
//自定义异常类,数据结构下标越界
public class IndexOutOfRangeException extend IndexOutOfBoundsException {
public IndexOutOfRangeException (int lower, int upper, int index) {
super("Lower: " + lower +", Upper: " + upper + ", index: " + index);
}
}
//用于被继承的访问类
public class Visitor {
public operation (Object o) { //访问操作
System.out.println(o);
}
}
public class List {
private Node preFix;
private Node current;
private int size;
List () {
current = preFix = new Node();
size = 0;
}
//定位函数
private void index (int i) throws IndexOutOfRangeException {
if (i > size || i < -size-1) {
thows new IndexOutOfRangeException(0, size+1, i);
}
this.init();
if (i >= 0) {
for (int j=0; j < i; j++) {
current = current.next();
}
}
if (i < 0) {
i = - i - 1;
for (int j=0; j < i; j++) {
current = current.next();
}
}
}
//基本访问函数,需要一个继承自Visitor类的访问工具
public visit (Visitor v) {
while (current != null) { //Java拒绝看不懂的 while(curr) !
v.operation (current.data());
current = current.next();
}
}
//访问后n个元素
public visitTail (Visitor v, int n) {
this.index(-n);
this.visit(v);
}
}
[/code]
小四:靠!过分了!Java真是让程序员远离算法的祸首啊!爱好算法的人千万离它远些!
老农:反正我的“扬眉吐气”计划是泡汤了,你们想怎么讨论就怎么讨论吧。。。
小四:>_< 。。。
F1:we 得意。
(3人正在争执着,忽然门“吱”的一声(什么破门)开了,8呆走了进来。)
8呆:吵什么呢,比完了没?我是第一吧?
F1、小四、老农:什么啊,你不是自顾自走了啦?!
8呆(诧异):我走之前已经写好啦。
(8呆拿来他的 SICP,递给三人。只见上面写了两行 Scheme 代码:)
[code]
(define (list-visit-tail func n l)
(map func (list-tail l (- (length l) n))))
[/code]
(编辑公曰:上面这段 Scheme 代码滴意思斯酱紫滴:先定义一个名为 list-visit-tail 的过程,然后用内置宏 list-tail 取 list 的后 n 位组成 list 返回,再用操作 map 进行例遍。过程 map 是列表基础操作,实现也就3行;它不改变列表本身,而是返回操作后的列表。不改变状态是函数式编程的精髓。)
(完)
[b]结语:[/b]
这个题目其实对于任何函数式编程语言来说都是一两句话。Scheme、Haskell它们都来自于世界上第二古老的语言 Lisp,但它们的思想博大精深——基于 lambda 演算理论的函数式编程,古老,但很神奇。
[b]参考资料:[/b]
老农说的“这篇文章”:[url="http://blog.csdn.net/yuetiantian/archive/2006/10/19/1341086.aspx"]一次遍历找链表倒数第n个节点[/url]
8呆的书SICP:[url="http://mitpress.mit.edu/sicp/"]Structure and Interpretation of Computer Programs[/url]
命令式语言的劣势:[url="http://www.nirvanastudio.org/java/why-java-and-almost-every-other-programming-language-sucks.html"]为何 Java(以及很多其他编程语言)令人不爽[/url]
函数式语言的优势:[url="http://www.nirvanastudio.org/wp-content/uploads/2006/08/why%20functional%20programming%20matters.html"]为什么函数式编程至关重要?[/url]
Scheme 入门推荐书:[url="http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-1.html"]Teach Yourself Scheme in Fixnum Days[/url]
如果你还没学过编程的话:[url="http://www.htdp.org/2003-09-26/Book/curriculum-Z-H-1.html"]How to Design Programs[/url]
如果你对函数式编程语言的效率有疑虑:
函数式语言:我的性能没问题 [url="http://www.iteye.com/topic/91076"](一)[/url]
其它有关 Scheme 的东东详见:我的 Scheme 学习笔记 ([url="http://let-in.blogspot.com/2006/09/scheme.html"]1[/url] [url="http://let-in.blogspot.com/2006/09/scheme_27.html"]2[/url] [url="http://let-in.blogspot.com/2006/09/scheme_28.html"]3[/url] [url="http://let-in.blogspot.com/2006/09/scheme_29.html"]4[/url] [url="http://let-in.blogspot.com/2006/10/scheme.html"]5[/url])
(官网可能暂时关闭)