Может ли программирование быть действительно декларативным?

Question

Я немного участвовал в декларативном и императивном программировании, и я пришел к (возможно ложному) пониманию, что декларативное программирование - это более или менее просто абстракция.

Например, в соответствии с тем, как я понимаю эти понятия, вызов метода для выполнения чего-либо будет декларативным, тогда как реализация метода является обязательной (необязательно, хотя и не декларативной).

Таким образом, кажется, что везде, где у вас есть декларативный код, где-то вниз по линии, он должен полагаться на не декларативный код для реализации. Является ли это просто природой, или существуют ли на языках, которые являются 100% декларативными (что я даже не могу начать концептуализировать)?

Пожалуйста, исправьте меня, если мое понимание этих концепций отключено! Хотя я примерно на полпути через B.A. в Computer Science, я чувствую, что до сих пор мне учили только «набирать материал, чтобы правильные вещи случались при запуске кода».

Спасибо.

Answer 1

Декларативное программирование выражает логику программного компонента без выделения его потока управления. Эта методология вызывающих функций (которая называется функциональным программированием - подпарадигма декларативного программирования), о которой вы говорите, может быть немного запутанной, особенно при изучении программирования и, возможно, изучении языка, такого как C/C++/Java. Существуют функциональные языки программирования, такие как Lisp и Haskell, которые полностью используют функциональную парадигму.

Когда я только начинал, я бы не стал изучать реализации этих парадигм одновременно. Вместо этого мне легче всего думать о декларативных языках как о очень выразительных языках, таких как CSS SQL. Они описывают, ЧТО должно быть сделано на простом английском языке с отвлеченным.