OCaml語言編程基礎教程

本書是OCaml語言程序設計基礎性入門書。講解了函數式程序設計的基礎知識，包括函數式控制結構和函數式數據結構，類型推導的基本原理，OCaml語言對命令式編程的支持，基於模塊和函子的模塊化程序設計，OCaml中的面向對象程序設計概念和技術。



陳鋼，航天科工集團三院304所國家千人計劃專家，中國電腦學會會員。本科畢業於浙江大學數學，碩士畢業於北京大學電腦系，並在法國巴黎第七大學獲得電腦博士學位。在OCaml語言和COQ定理證明器發源地受過專業訓練，是國內初次開展COQ定理證明工作及其在集成電路中的應用的學者，曾在上海交大、南澳大學、波士頓大學、摩托羅拉公司工作。2013年加入航天科工集團三院304所，從事基於定理證明的AES加密演算法驗證與FPGA實現研究、缺陷分析軟體評估研究和形式化飛行控制數學研究。2017年組織了電腦學會「形式化工程數學」研討會。

張靜，東北大學電腦專業本科畢業。在北京京航計算通訊研究所工作期間，跟隨陳鋼老師學習OCaml和COQ，並從事程序缺陷分析軟體的評估工作。目前在中石油新疆油田從事信息系統管理工作。