基本信息

书名：OCaml语言编程基础教程

定价：79.00元

作者：陈钢 张静

出版社：人民邮电出版社

出版日期：2018-06-01

ISBN：9787115471215

字数：

页码：

版次：1

装帧：平装-胶订

开本：16开

商品重量：0.4kg

编辑推荐

当前，函数式语言和函数式编程掀起了一股新的热潮，人们用函数式语言开发出越来越多的应用和系统。OCaml就是一种函数式程序设计语言。本书是学习OCaml语言的入门读物，重点讲解函数式编程的基础知识以及OCaml语言编程技巧，同时兼顾应用软件开发的需求。本书注意将OCaml编程方式同其他语言的编程方式进行比较，便于熟悉其他语言的程序员理解OCaml的特点。书中给出了很多示例代码，并且在每章末尾给出了一些练习题，以帮助读者掌握所学的知识。附录部分给出了部分练习题的解答。本书适合想要了解函数式语言原理和学习OCaml程序设计的读者阅读参考。本书包括以下内容： 函数式控制结构及OCaml语言基础； 函数式数据结构； 模块化程序设计； 命令式程序设计； 模块化图形程序设计； 移植OCaml图形程序到F#； 多语言联合程序设计； 面向对象程序设计。本书深入浅出，循序渐进，非常适合初学者从零起步阅读和学习。另一方面，书中不仅讨论了大量语言特征的情况和编程技术问题，也介绍了一些背景和相关理论问题，以帮助读者更清晰地理解函数式编程的思想、技术和方法。本书的出版将大大改善计算机工作者学习OCaml语言及其编程技术的基础条件。——北京大学数学系教授 裘宗燕

内容提要

OCaml语言是一种函数式程序设计语言。本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧，同时兼顾应用软件开发的需求。全书共8章，前5章讲解OCaml语言的函数式控制结构、数据结构、模块化程序设计、命令式程序设计和图形程序设计；第6章介绍如何把OCaml移植到F#，第7章介绍通过C#开发的用户界面调用OCaml或F#程序，第8章介绍面向对象程序设计。本书适合想要学习OCaml程序语言或者想要学习函数式编程的读者阅读参考。

目录

作者介绍

陈钢航天科工集团三院304所国家专家，中国计算机学会会员。本科毕业于浙江大学数学，硕士毕业于北京大学计算机系，并在法国巴黎第七大学获得计算机博士学位。在OCaml语言和COQ定理证明器发源地受过专业训练，是初次开展COQ定理证明工作及其在集成电路中的应用的学者，曾在上海交大、南澳大学、波士顿大学、摩托罗拉公司工作。2013年加入航天科工集团三院304所，从事基于定理证明的AES加密算法验证与FPGA实现研究、缺陷分析软件评估研究和形式化飞行控制数学研究。2017年组织了计算机学会“形式化工程数学”研讨会。张静 东北大学计算机专业本科毕业。在北京京航计算通讯研究所工作期间，跟随陈钢老师学习OCaml和COQ，并从事程序缺陷分析软件的评估工作。目前在中石油新疆油田从事信息系统管理工作。

文摘

序言