第17节函数基础入门：了解函数本质.docx

函数式程序设计入门

简明讲义

邓玉欣

2021年5月6日

前言

提到计算机编程语言，很多人只听说过流行的语言例如C，C++，Java,

Python等。目前函数式编程语言的用户数较少而且大部分是用于学术研究而

非商业，因此普及程度远远不能与流行语言相比。但是，的确有一些大型商业

项目的开发基于函数式编程语言1。例如，JaneStreet是一家从事金融量化交

易的跨国公司，拥有400多名OCaml程序员和超过1千5百万行OCaml代

码，以支撑每天数十亿美元的交易。另一方面，近年来形式化验证方法逐渐受

到关注，函数式语言被广泛用于开发编译器、程序分析器、验证器以及定理证