作品总结
《类型和编程语言(Types and Programming Languages)》
本书时对类型系统和编程语言的全面介绍。
类型系统是一种句法方法，通过根据它们计算的值的类型对程序短语进行分类，从而自动检查是否存在某些错误行为。对类型系统的研究——以及从类型理论角度对编程语言的研究——在软件工程、语言设计、高性能编译器和安全性方面有着重要的应用。
本书全面介绍了计算机科学中的类型系统和编程语言的基本理论。该方法务实且可操作；每个新概念都是由编程示例激发的，而更多的理论部分是由实现的需要驱动的。每章都附有大量练习和解决方案，以及运行中的实现，可通过 Web 获得。章节之间的依赖关系被明确标识，允许读者选择多种途径来阅读材料。
核心主题包括无类型 lambda 演算、简单类型系统、类型重构、通用和存在多态性、子类型、有界量化、递归类型、种类和类型运算符。扩展案例研究开发了多种方法来对面向对象语言的特征进行建模。
关于本书的评论
“类型是计算机编程的酵素；它们使编写的程序代码易于消化。这本优秀的书使用类型来导航丰富多样的编程语言，为它们的用法、理论带来了新的统一，和实施。它的作者在这三个方面都具有经验的权威。” --Robin Milner，剑桥大学计算机实验室
" 类型是计算机编程的酵；他们使它易于消化。这本优秀的书使用类型来导航丰富多样的编程语言，为它们的用法、理论和实现带来了一种新的统一。它的作者在这三个方面都具有经验的权威性。” ——Robin Milner，剑桥大学计算机实验室
在过去的二十年里，类型理论已经成为编程语言研究的核心统一框架。但这些显着的进步并不像应有的那样广为人知。编程语言类型系统研究的迅速发展远远超过了其在该领域其他领域的传播。Pierce 的书不仅全面介绍了编程语言的类型，而且以引人入胜的优雅和具体风格进行了介绍，同时强调了理论基础和编程的实际问题。这本书将成为未来许多年的权威参考书籍。
― Robert Harper，卡内基梅隆大学计算机科学系教授
客服咨询
400 093 7005
周一至周日：09:00AM-21:00PM
微信扫码关注
小程序扫码注册
0条评论