Programming languages 函数/逻辑/面向对象编程的思想

有人能给我指一些讨论不同编程范式（函数/逻辑/面向对象）的文章或书籍吗。。。我不是在寻找语法细节，而是寻找使它们变得好的想法

---

例如：使用函数式编程可以避免任何副作用。。如果我知道这个想法，我甚至可以用一种不强制执行它的语言（OOP）编写无副作用的程序

据我所知，在OOP中编写函数的方法是使每个成员都是最终的（几乎总是如此）。这避免了副作用，虽然我并不是真的不喜欢函数式编程，但我认为，自从我开始尽可能地将变量设置为final后，我的代码得到了改进——因此它肯定有一些好处。

对不同的范例进行了非常全面的概述。这本书是关于语言设计的，所以它谈论了很多语法、语义、类型系统、目标体系结构等。最新版本有一整章关于逻辑编程语言，还有一章关于函数式语言。

有一个关于

的阅读列表，我已经开始阅读Peter Van Roy的“计算机编程的概念、技术和模型”，到目前为止，它非常好……

您的第一部分似乎混淆了“函数编程”和“函数分解”。后者是过程风格的一部分，而不是函数风格。您的第二部分（定义常量而不是变量），然而，这是函数式编程风格。哎呀，你说得对。我指的是最终的，不是静态的。