本书将带你快速认识一种工业强度级的编程语言——OCaml，这是为实现表达性、安全性和高速度而设计的一种语言。通过书中提供的丰富的例子，你会很快了解OCaml是怎样能够脱颖而出，并用来编写快速、简洁和可读的系统代码的。本书将轻松地带你了解这种语言的基本要领，然后帮助你学习有关的工具和技术，正是这些工具和技术使OCaml成为一个有效而且实用的工具。在本书的第三部分，你会深入学习编译器工具链以及OCaml简单而有效的运行时系统的详细内容。学习OCaml语言的基础知识，如高阶函数、代数数据类型和模块。研究OCaml的不错特性，如仿函数、首类模块和对象。充分利用Core，这是面向OCaml的一个全面的通用标准库。设计有效而且可重用的库，保证OCaml大多数方法的抽象性和模块性。解决各种实际的编程问题，从命令行解析到异步网络编程都涵盖在内。利用GNUgdb等工具分析性能测试和交互式调试技术。