函數式與併發編程

現代語言支持的函數式和併發編程語言特性可能富有挑戰性，即使是經驗豐富的開發人員，當面對函數式與併發編程時，也可能心生畏懼。面向對象編程的程序員之所以畏懼這些特性，很可能是因為他們對這些特性的工作方式有所誤解。為了消除誤解，程序員應首先熟悉這些強大的特性背後的抽象概念。

《函數式與併發編程》介紹了一系列核心的編程語言結構，可讓你的編程工作變得高效起來，無論你使用的是哪種編程語言，你都能從中獲益——在當下的工作中，以及在未來的職業發展中。Charpentier用大量重點突出的小型Scala代碼示例闡釋了函數式與併發編程的關鍵概念，並通過完整的案例研究對前述技術和技巧進行深入的探究和闡釋。這些技術和技巧將從一種語言傳遞到另一種語言——包括Java的最新版本。利用函數式和併發編程語言特性，開發人員和程序員將能編寫出易於理解、調試、優化和改進的優質代碼。另外，本書還討論了現代編程語言中常用的類型策略，包括類型推斷、子類型、多態性、類型類、類型邊界和變型。

核心主題：●遞歸和尾遞歸●模式匹配和代數數據類型●可持久化結構和不可變性●高階函數和lambda表達式●延遲求值和流●線程和線程池●原子性和鎖●同步和線程安全對象●無鎖、非阻塞模式●Future、Promise和函數併發編程

《函數式與併發編程》中的大部分代碼示例都是使用Scala編寫的，其中包含函數式與併發編程的許多標準特性；然而，讀者不必事先了解Scala，而只需要熟悉一些基本概念，如類、方法、對象、類型、變量、循環和條件語句等。此外，讀者在編程方面應有足夠的經驗，以免因為簡單的語法問題而分心。



Michel Charpentier是美國新罕布什爾大學(UNH)計算機科學系的副教授。多年來，他一直致力於分佈式系統、正式驗證以及移動傳感器網絡等領域的研究。自1999年以來，他一直在UNH工作，目前正在講授編程語言、併發性、形式驗證和模型檢查等課程。

Michel Charpentier 是美國新罕布什爾大學(UNH)計算機科學系的副教授。多年來，他一直致力於分布式系統、正式驗證以及移動傳感器網絡等領域的研究。自 1999 年以來，他一直在UNH工作，目前正在講授編程語言、併發性、形式驗證和模型檢查等課程。