计算机编程的概念、技术与模型

Hacker News 上怎么说

• unz · 2013 年

  ……有限域约束编程、约束逻辑编程、逻辑编程、关系编程；静态函数式编程——ML、Haskell。一本优秀的现代编程入门书是 Peter Van Roy 和 Saif Haridi 写的《Concepts, Techniques, and Models of Computer Programming》（CTM）。它比大家常提的那本 Lisp 神书《计算机程序的构造和解释》（SICP）强太多了。

  …finite domain constraint programming, constraint logic programming, logic programming, relational programming Static functional programming - ml, haskell A good modern introduction to programming is Concepts, Techniques, and Models of Computer Programming, by Peter Van Roy and Saif Haridi. It's far superior to the commonly mentioned lisp book Structure and Interpretation of Computer Programs.

• sriku · 2020 年

  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）用的就是这门语言。

  One fantastic multi-paradigm-from-the-start language that often gets missed out is Mozart/Oz - http://mozart2.org . This language is used in the awesome book "Concepts, Techniques, and Models of Computer Programming" by Peter van Roy and Seif Haridi - https://www.info.ucl.ac.be/~pvr/book.html

• silentbicycle · 2010 年

  ……也会列在里面。任何“某领域前 X 本必读书”的书单都难免有些主观，比起这个领域本身，它反映的可能更多是列书单的人的偏好。话虽如此，我还是要推荐：* Peter Van-Roy 和 Seif Haridi 写的《Concepts, Techniques, and Models of Computer Programming》（简称“CTM”），它涵盖了好几种不同的编程范式。不是讲不同的语言，而是讲它们底层的计算模型，以及如何把它们结合起来。*……

  …be there, too. Any "top X books for field Y" list is going to be a bit arbitrary, probably telling you as much about the people who wrote the list as the field itself. That said, I'd also suggest: * Concepts, Techniques, and Models of Computer Programming by Peter Van-Roy and Seif Haridi ("CTM"), which covers several different programming approaches. Not about different languages, but their underlying models, and ways in which they can be combined. *…

• anewhnaccount2 · 2018 年

  ……masses”还在开发当中。如果你想要系统、详尽地了解各种编程范式（不过恐怕没有深入探讨它们各自适合和不适合哪些应用场景），我强烈推荐 Roy 和 Haridi 写的《Concepts, Techniques, and Models of Computer Programming》（这本书偏向数据流导向的范式，并以此为基础来解释其他几种范式）。

  …masses" was being developed. If you want a detailed systematic account of programming paradigms, (without detailed study of what applications they are good and bad for I'm afraid) I would highly recommend Concepts, Techniques, and Models of Computer Programming by Roy and Haridi (this book leans towards dataflow oriented paradigms, explaining a few other paradigms using the idea).

• nostrademons · 2008 年

  ……会派上用场。我平时还应该读哪些数学书？你应该抽时间读读《计算机程序的构造和解释》（SICP，http://mitpress.mit.edu/sicp/）。其他优秀的理论书还有：Peter van Roy 的《Concepts, Techniques, and Models of Computer Programming》，以及 Benjamin Pierce 的《Types and Programming Languages》（TAPL）。至于数学——了解一些集合论和数理逻辑很有帮助，但我不是数学专业的，所以在这方面给不出什么好推荐……

  …come in handy. What other math books should I be reading? You should make time for Structure and Interpretation of Computer Programs (http://mitpress.mit.edu/sicp/). Other good theory books: Concepts, Techniques, and Models of Computer Programming by Peter van Roy, and Types and Programming Languages by Benjamin Pierce. As for math - it's good to know some set theory and mathematical logic, but I wasn't a math major so I don't have good recs in…

• plesn · 2010 年

  另一本采用这种横向视角的书着重解释了不同的编程范式，而不是具体的某些语言：Peter Van Roy 和 Seif Haridi 写的《Concepts, Techniques, and Models of Computer Programming》（http://www.info.ucl.ac.be/~pvr/book.html）。依我看，这是一本能让人深受启发的书。

  Another book taking this kind of horizontal approach explains different programming paradigms rather than concrete languages: "Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy and Seif Haridi (http://www.info.ucl.ac.be/~pvr/book.html). It is IMHO a deeply illuminating book.

正在加载完整评论……