函数式与并发编程

图书信息

作者：(美)米歇尔·卡彭特著郭涛译

出版社：清华大学出版社

定价：118.00

ISBN：9787302672173

出版时间：2024-10-01

分类：图书,行业职业,计算机,编程语言

商品介绍

目录

第I部分函数式编程

第1章函数式编程的概念

1.1什么是函数式编程

1.2函数

1.3从函数到函数式编程概念

1.4小结

第2章编程语言中的函数

2.1定义函数

2.2合成函数

2.3定义为方法的函数

2.4定义为方法的运算符

2.5扩展方法

2.6局部函数

2.7重复参数

2.8可选参数

2.9命名参数

……

内容简介

现代语言支持的函数式和并发编程语言特性可能富有挑战性，即使是经验丰富的开发人员，当面对函数式与并发编程时，也可能心生畏惧。面向对象编程的程序员之所以畏惧这些特性，很可能是因为他们对这些特性的工作方式有所误解。为了消除误解，程序员应首先熟悉这些强大的特性背后的抽象概念。

本书介绍了一系列核心的编程语言结构，可让你的编程工作变得高效起来，无论你使用的是哪种编程语言，你都能从中获益——在当下的工作中，以及在未来的职业发展中。Charpentier用大量重点突出的小型Scala代码示例阐释了函数式与并发编程的关键概念，并通过完整的案例研究对前述技术和技巧进行深入的探究和阐释。这些技术和技巧将从一种语言传递到另一种语言——包括Java的近期新版本。利用函数式和并发编程语言特性，开发人员和程序员将能编写出易于理解、调试、优化和改进的优质代码。

另外，本书还讨论了现代编程语言中常用的类型策略，包括类型推断、子类型、多态性、类型类、类型边界和变型。

本书中的大部分代码示例都是使用Scala编写的，其中包含函数式与并发编程的许多标准特性；然而，读者不必事先了解Scala，而只需要熟悉一些基本概念，如类、方法、对象、类型、变量、循环和条件语句等。此外，读者在编程方面应有足够的经验，以免因为简单的语法问题而分心。

作者简介

Michel Charpentier 是美国新罕布什尔大学(UNH)计算机科学系的副教授。多年来，他一直致力于分布式系统、正式验证以及移动传感器网络等领域的研究。自 1999 年以来，他一直在UNH工作，目前正在讲授编程语言、并发性、形式验证和模型检查等课程。