编辑推荐
null
内容简介
闵斯基、麦哈瓦佩迪、希基著的《真实世界的OCaml(中文版)》将带你快速认识一种工业强度级的编程语言——0Caml，这是为实现表达性、安全性和高速度而设计的一种语言。通过书中提供的丰富的例子，你会很快了解OCamI是怎样能够脱颖而出，并用来编写快速、简洁和可读的系统代码的。 本书将轻松地带你了解这种语言的基本要领，然后帮助你学习有关的工具和技术，正是这些工具和技术使OCaml成为一个有效而且实用的工具。在本书的第三部分，你会深入学习编译器工具链以及OCaml简单而有效的运行时系统的详细内容。 学习OCamI语言的基础知识，如高阶函数、代数数据类型和模块。 研究0camI的高级特性，如仿函数、首类模块和对象。充分利用core，这是面向0camI的一个全面的通用标准库。设计有效而且可重用的库，保证OcamI大多数方法的抽象性和模块性。 解决各种实际的编程问题，从命令行解析到异步网络编程都涵盖在内。利用GNu gdb等工具分析性能测试和交互式调试技术。
目 录
前言第一部分 语言概念第1章 导览旅行 1.1 0Caml作为计算器 1.2 函数和类型推断 1.3 元组、列表、选项和模式匹配 1.4 记录和变体 1.5 命令式编程 1.6 个完整的程序 1.7 下一章的内容第2章 变量和函数 2.1 变量 2.2 函数第3章 列表和模式 3.1 列表基础 3.2 使用模式从列表抽取数据 3.3 模式匹配的局限性（和好处） 3.4 有效地使用Li.st模块 3.5 尾递归 3.6 更简洁更快速的模式第4章 文件、模块和程序 4.1 单文件程序 4.2 多文件程序和模块 4.3 签名和抽象类型 4.4 签名中的具体类型 4.5 嵌套模块 4.6 打开模块 4.7 包含模块 4.8 模块的常见错误 4.9 基于模块的设计第5章 记录 5.1 模式和完备性 5.2 字段双关 5.3 重用宇段名 5.4 功能更新 5.5 可变字段 5.6 首类字段第6章 变体 6.1 Catch-A11情况和重构 6.2 结合记录和变体 6.3 变体和递归数据结构 6.4 多态变体第7章 错误处理 7.1 错误感知返回类型 7.2 异常 7.3 选择错误处理策略.第8章 命令式编程 8.1 示例：命令式字典 8.2 基本可变数据 8.3 for和while循环 8.4 示例：双向链表 8.5 懒惰和其他良性影响 8.6 输入和输出 8.7 计算顺序 8.8 副作用和弱多态 8.9 小结第9章 仿函数 9.1 一个简单例子 9.2 一个更大的例子：间隔计算 9.3 扩展模块 第10章 首类模块 10.1 使用首类模块 10.2 示例：队列处理框架 10.3 如果没有首类模块第11章 对象 11.1 0caml对象 11.2 对象多态 11.3 不可变对象 11.4 如何使用对象 11.5 子类型化第12章 类 12.1 OCaml类 12.2 类参数和多态 12.3 对象类型作为接口 12.4 继承 12.5 类类型 12.6 开放递归 12.7 私有方法 12.8 二值化方法 12.9 虚类和方法 12.10 初始化方法 12.11 多重继承第二部分 工具和技术第13章 映射和散列表 13.1 映射 13.2 散列表 13.3 映射和散列表之间的选择第14章 命令行解析 14.1 基本命令行解析 14.2 参数类型 14.3 为命令行增加标签标志 14.4 组合子命令 14.5 对解析的高级控制 14.6 使用bash实现命令行自动完成 14.7 其他命令行解析器第15章 处理JSON数据. 15.1 JSON基础 15.2 用Yojson解析JSON 15.3 从JSON结构选择值 15.4 构造JSON值 15.5 使用非标准JSON扩展 15.6 JSON自动映射到0Caml类型第16章 用OCamllex和Menhir完成解析 16.1 词法分析和解析 16.2 定义解析器 16.3 定义词法分析器 16.4 集成第17章 利用S一表达式实现数据串行化.. 17.1 基本用法 17.2 sexp格式 17.3 保持不变式 17.4 得到合适的错误消息 17.5 S-表达式转换指令第18章 利用Async实现并发编程 18.1 Asvnc基础 18.2 示例：回显服务器 18.3 示例：用DuckDuckGo搜索定义 18.4 异常处理 18.5 超时、撤销和选择 18.6 处理系统线程第三部分 运行时系统第19章 外部函数接口 19.1 示例：终端界面 19.2 基本标量C类型 19.3 指针和数组 19.4 结构和联合 19.5 向C传递函数 19.6 关于C绑定第20章 值的内存表示 20.1 0Caml块和值 20.2 块和值 20.3 元组、记录和数组 20.4 变体和列表 20.5 多态变体 20.6 字符串值 20.……
媒体评论
null
