投石问路
首先声明,本人是义务劳动,研究FP的不是学生就是大牛,我这个半拉子学术派只能算班门弄斧了。另外,这个版是谁开得出来吱一声啊,人工智能语言比如Prolog包括在内吗?
函数式编程的代表性语言就是Scheme,它和C(不是C++)代表了语言发展的两个方向,当然现代语言经常会对两者的特点兼而有之(这段话是引用的,但是来源网站倒闭了,所以我就不注明了)。函数式语言包括Fortran,Scheme家族,ML家族,Haskell,还有很多新兴的小语言(很多大家应该都没听说过),据说M刀最近也在搞这个。相对现代语言来说,函数式语言简洁,并且更加学术化一些,其思想方法完全不同,甚至有些难以理解。我这里收集了一些资料,和大家分享一下。
下面是一些相关的站点(都是转载,没有和作者打过招呼,作者如果想和我打招呼就打吧)
Lisp的根源(看了头晕是正常的):
http://daiyuwen.freeshell.org/gb/rol/roots_of_lisp.html
Object Caml相关:
http://caml.inria.fr/downoad.en.html
http://seas.upenn.edu/~cis500/resources.html
SMLNJ相关(ML的一个教学版本):
http://www.smlnj.org/dist/working/110.55/index.html
Mozart(新东西,据说漂亮):
http://www.mozart-oz.org/
欢迎补充。都是英文的网站,还有好几个中文的Scheme相关的页面我自己也上不去了,看来是维护不力,就没列在这里。