当前位置: 首页 > 资源下载  > 电子书 > 计算机

OCaml语言编程基础教程

12/16/2018 9:53:18 PM 0人评论 32次

当前,函数式语言和函数式编程掀起了一股新的热潮,人们用函数式语言开发出越来越多的应用和系统。OCaml就是一种函数式程序设计语言。 本书是学习OCaml语言的入门读物,重点讲解函数式编程的基础知识以及OCaml语言编程技巧,同时兼顾应用软件开发的需求。本书注意将OCaml

OCaml语言编程基础教程

OCaml语言编程基础教程

编辑推荐

当前,函数式语言和函数式编程掀起了一股新的热潮,人们用函数式语言开发出越来越多的应用和系统。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,并从事程序缺陷分析软件的评估工作。目前在中石油新疆油田从事信息系统管理工作。

附件下载

  • 下载

    百度网盘下载

    下载:71次 所需积分:90

  • 积分获取方法:先给账户进行充值,然后进行积分兑换,积分兑换比例:1元可兑换10个积分.
    具体可参考帮助如何获取积分说明

相关资源

  • 人机交互基础教程(第3版)

    Delphi是面向对象的可视化软件开发平台,它提供了大量VCL组件,具有强大的数据库开发和网络编程能力,极大地提高了应用系统的开发速度,是目前软件开发工具之一。  《人机交互基础教程(第3版)》以DelphiXE8为开发平台进行修订,增加基于Android应用程序设计和基于

    3/23/2025 11:44:42 PM
  • C++面向对象程序设计(第三版)/“十三五”高校计算机应用技术系列规划教材

    《C++面向对象程序设计(第三版)/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的,主要介绍C什面向对象程序设计的基本知识和编程方法,全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、

    2/23/2025 12:55:51 PM
  • 算法零基础一本通(Python版全彩印刷)_电子书PDF格式百度云网盘下载

    《算法零基础一本通(Python版 全彩印刷)》指导读者从零开始学习算法:从基础数据结构开始,逐步解说信息安全算法,最后也讲解了人工智能入门领域的KNN和K-means算法。  《算法零基础一本通(Python版 全彩印刷)》理论与实例并重,在讲解算法理论时,使用热门程序

    12/29/2024 9:07:06 PM
  • C++面向对象程序设计(第三版)/“十三五”高校计算机应用技术系列规划教材

    《C++面向对象程序设计(第三版)/“十三五”高校计算机应用技术系列规划教材》是为具有C语言基础的读者编写的,主要介绍C什面向对象程序设计的基本知识和编程方法,全面讲述了C++面向对象的基本特征。内容包括类、对象、继承、派生类、多态性、虚函数、运算符重载、

    11/23/2024 12:54:31 PM