电子书
内容简介
OCaml语言是一种函数式程序设计语言。
本书重点介绍函数式编程的基础知识以及OCaml程序设计的技巧，同时兼顾应用软件开发的需求。全书共8章，前5章讲解OCaml语言的函数式控制结构、数据结构、模块化程序设计、命令式程序设计和图形程序设计；第6章介绍如何把OCaml移植到F#，第7章介绍通过C#开发的用户界面调用OCaml或F#程序，第8章介绍面向对象程序设计。
本书适合想要学习OCaml程序语言或者想要学习函数式编程的读者阅读参考。
章节目录
- 扉页
- 内容提要
- 序
- 前言
- 致谢
- 目录
- 第1章 函数式控制结构
- 1.1 OCaml解释器
- 1.2 表达式和let定义
- 1.3 let局部定义
- 1.4 基本类型
- 1.4.1 整数类型 int
- 1.4.2 浮点类型 float
- 1.4.3 字符类型 char
- 1.4.4 unit 类型和简单输入输出
- 1.4.5 字符串类型 string 与 printf 函数
- 1.4.6 bool 类型和 if 表达式
- 1.5 乘积类型和模式匹配初步
- 1.6 函数和函数类型
- 1.6.1 简单函数
- 1.6.2 函数表达式
- 1.6.3 function 和 fun 比较
- 1.6.4 高阶函数
- 1.6.5 递归函数
- 1.6.6 相互递归函数
- 1.6.7 模式匹配表达式
- 1.7 多态类型
- 1.7.1 类型变量
- 1.7.2 类型推导
- 1.8 λ演算对函数式语言的影响
- 1.9 中缀操作符与前缀操作符
- 1.10 同构函数和柯里化
- 1.11 循环迭代函数
- 1.12 本章小结
- 1.13 练习
- 第2章 函数式数据结构
- 2.1 函数式数据类型和自动存储管理
- 2.2 类型的显式定义
- 2.3 记录类型
- 2.3.1 记录类型和记录的创建
- 2.3.2 函数的记录参数
- 2.3.3 记录字段的重名
- 2.3.4 记录的部分重建
- 2.3.5 记录字段简写
- 2.3.6 多态记录类型
- 2.4 联合类型
- 2.4.1 带参数的构造子
- 2.4.2 由单个构造子构成的联合类型
- 2.4.3 递归类型
- 2.4.4 带多态变量的联合类型
- 2.4.5 表
- 2.4.6 值的递归定义
- 2.4.7 多态变体
- 2.5 表的编程技术
- 2.5.1 表的基本操作
- 2.5.2 定义表处理函数
- 2.5.3 线性表的同态映射
- 2.5.4 快速排序算法
- 2.6 函数运行时间分析
- 2.7 程序文件的解释执行和编译执行
- 2.8 和C语言比较执行效率
- 2.9 尾递归
- 2.10 option类型和关联表
- 2.11 带标签的函数参数以及可选参数
- 2.11.1 标签参数
- 2.11.2 可选参数
- 2.11.3 标签参数和可选参数的显式类型说明
- 2.11.4 高阶函数与标签参数和可选参数
- 2.11.5 带标签的标准库
- 2.12 延迟求值
- 2.13 本章小结
- 2.14 练习
- 第3章 模块化程序设计
- 3.1 基于无序表的集合
- 3.2 基于有序表的集合
- 3.3 模块和接口
- 3.4 函子
- 3.5 函子的接口
- 3.6 用Set库构造专用集合模块
- 3.7 生成质数集合
- 3.8 异常处理
- 3.8.1 异常表达式
- 3.8.2 异常捕获
- 3.8.3 几个常见的异常
- 3.9 模块的层次结构
- 3.9.1 多层模块
- 3.9.2 模块和文件
- 3.9.3 自动模块化编译 ocamlbuild
- 3.9.4 多参数函子
- 3.9.5 模块局部打开和模块包含
- 3.10 模块用做表达式
- 3.11 抽象类型
- 3.11.1 抽象类型的作用和限制
- 3.11.2 私有抽象类型
- 3.11.3 局部抽象类型
- 3.12 动态构造模块接口
- 3.12.1 用接口构造接口
- 3.12.2 从模块推导接口
- 3.13 本章小结
- 3.14 练习
- 第4章 命令式程序设计
- 4.1 引用变量和赋值语句
- 4.2 可更改的记录分量
- 4.3 数组
- 4.4 字符串和字节序列
- 4.5 弱类型变量和多态函数的部分作用
- 4.6 Printf库和格式化输出
- 4.7 Scanf库和格式化输入
- 4.8 文件输入输出
- 4.9 命令式控制结构
- 4.9.1 赋值语句
- 4.9.2 顺序控制
- 4.9.3 操作符“|>”
- 4.9.4 循环控制
- 4.9.5 修改输入参数的函数
- 4.10 编程案例：四向链表
- 4.11 散列表、栈、队列及命令式模块
- 4.12 本章小结
- 4.13 练习
- 第5章 模块化图形程序设计
- 5.1 生成带图形库的OCaml解释器
- 5.2 图形窗口
- 5.3 图形窗口初始化及参数设置
- 5.4 事件循环
- 5.5 颜色设置
- 5.6 模块化图形编程
- 5.7 文本数字环及字符串绘制
- 5.8 端点小环及图形填充
- 5.9 端点连接线及弧线绘制
- 5.10 命令行参数
- 5.11 电机接线图的完整代码
- 5.12 本章小结
- 5.13 练习
- 第6章 移植OCaml图形程序到F#
- 6.1 打开窗体
- 6.2 窗体初始化
- 6.3 在窗体中间画圆
- 6.4 基本作图模块
- 6.5 文本数字环
- 6.6 端点小环
- 6.7 连接线
- 6.8 F#版电机接线图完整代码
- 6.9 怎样提高OCaml代码的可移植性
- 6.10 本章小结
- 6.11 练习
- 第7章 多语言联合程序设计
- 7.1 软件总体架构
- 7.2 C#调用OCaml命令行作图程序
- 7.3 C#调用F#动态共享DLL作图程序库
- 7.4 C#调用Access数据库
- 7.5 本章小结
- 第8章 面向对象程序设计
- 8.1 类和对象
- 8.2 基于对象方法画电机圆
- 8.3 类的继承
- 8.4 多重继承
- 8.5 多重继承中的同名方法
- 8.6 同名方法的延迟绑定
- 8.7 私有方法
- 8.8 虚拟类和子类型
- 8.9 类中的多态类型
- 8.10 多态类的继承
- 8.11 二元方法
- 8.12 子类型与子类
- 8.13 类的类型
- 8.14 对象之间的相等关系
- 8.15 面向对象的电动机接线程序
- 8.16 本章小结
- 8.17 练习
- 附录 部分习题参考答案
- 参考文献
展开全部
OCaml语言编程基础教程是2018年由人民邮电出版社出版,作者陈钢 张静。
版权说明：本电子书已获得正版授权，由出版社通过知传链发行。
得书感谢您对《OCaml语言编程基础教程》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
电子书
