计算机编程的概念、技术与模型
Concepts, techniques, and models of computer programming
Peter Van Roy , Seif Haridi · 初版 2004 年
- 133次提及
- 70人推荐
- 93位 HN 评论者
为什么值得读
以底层模型为核心，系统梳理多种编程范式与思想
- 侧重底层计算模型而非具体编程语言语法
- 细致系统地剖析了多种编程范式
- 以Mozart和Oz语言展示多范式编程
适合：想深入探究编程范式与理论的开发者
值得读指数：91 / 100
Hacker News 读者推荐
……有限域约束编程、约束逻辑编程、逻辑编程、关系编程；静态函数式编程——ML、Haskell。一本优秀的现代编程入门书是 Peter Van Roy 和 Saif Haridi 写的《Concepts, Techniques, and Models of Computer Programming》（CTM）。它比大家常提的那本 Lisp 神书《计算机程序的构造和解释》（SICP）强太多了。
unz 在 HN 的推荐
Mozart/Oz（http://mozart2.org）是一个从一开始就极其出色的多范式语言，却常常被人忽略。Peter van Roy 和 Seif Haridi 那本神作《Concepts, Techniques, and Models of Computer Programming》（https://www.info.ucl.ac.be/~pvr/book.html）用的就是这门语言。
sriku 在 HN 的推荐
……也会列在里面。任何“某领域前 X 本必读书”的书单都难免有些主观，比起这个领域本身，它反映的可能更多是列书单的人的偏好。话虽如此，我还是要推荐：* Peter Van-Roy 和 Seif Haridi 写的《Concepts, Techniques, and Models of Computer Programming》（简称“CTM”），它涵盖了好几种不同的编程范式。不是讲不同的语言，而是讲它们底层的计算模型，以及如何把它们结合起来。*……
silentbicycle 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262220695
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。