计算机 类型
7.0 豆瓣评分
可以朗读 语音朗读
340千字 字数
2018-02-01 发行日期
展开全部

主编推荐语

OCaml编程基础：函数式编程、类型推导、模块化设计。

内容简介

本书是OCaml语言程序设计基础性入门书。讲解了函数式程序设计的基础知识，包括函数式控制结构和函数式数据结构，类型推导的基本原理，OCaml语言对命令式编程的支持，基于模块和函子的模块化程序设计，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 练习
  • 附录 部分习题参考答案
  • 参考文献
展开全部

评分及书评

尚无评分
目前还没人评分

出版方

人民邮电出版社

人民邮电出版社是工业和信息化部主管的大型专业出版社，成立于1953年10月1日。人民邮电出版社坚持“立足信息产业、面向现代社会、传播科学知识、服务科教兴国”，致力于通信、计算机、电子技术、教材、少儿、经管、摄影、集邮、旅游、心理学等领域的专业图书出版。