本书是OCaml语言程序设计基础性入门书。讲解了函数式程序设计的基础知识, 包括函数式控制结构和函数式数据结构, 类型推导的基本原理, OCaml语言对命令式编程的支持, 基于模块和函子的模块化程序设计, OCaml中的面向对象程序设计概念和技术。