theory - 编程真的可以是声明式的吗？

Question

关闭。这个问题是 opinion-based 。目前不接受答案。

---

想要改进这个问题吗？更新问题，以便 editing this post 可以用事实和引文来回答它。 .

已关闭 8 年前。

Improve this question

我一直在自学一些关于声明式编程与命令式编程的知识，并且我已经认识到(可能是错误的)声明式编程或多或少只是抽象。

例如，根据我对这些概念的理解，调用方法来做某事是声明性的，而方法的实现是命令性的(但不一定？只是不是声明性的)。

因此，似乎只要有声明性代码，就必须依赖非声明性代码来实现。这只是它的本质吗，还是有 100% 声明性的语言(我什至无法开始概念化)？

如果我对这些概念的理解有误，请纠正我!虽然我的学士学位已经读了一半了。在计算机科学领域，我觉得到目前为止我只被教导“输入内容，以便在运行代码时发生正确的事情。”

谢谢。

Answer 1

声明式编程表达软件组件的逻辑，而不概述其控制流。您所谈论的调用函数的方法(称为函数式编程 - 声明式编程的子范式)可能有点令人困惑，尤其是在学习编程并且可能学习 C/C++/Java 等语言时。有些函数式编程语言，例如 Lisp 和 Haskell，完全利用了函数式范例。

刚开始时，我不会尝试同时学习这些范例的实现。相反，我发现最容易将声明性语言视为具有高度表现力的语言，例如 CSS SQL。他们用简单的英语描述应该做什么，并抽象了如何做。