Различия между императивными и декларативными языками программирования?

Question

Я знаю, что они:

В императивном языке программирования компилятору, что вы хотите случиться шаг за шагом, в то время как в декларативном языке вы пишете код, который описывает результат, но не обязательно, как достичь желаемый результат.

Однако я не знаю, как оптимизировать использование любого типа языка программирования. Как и в этом - есть ли какие-либо осложнения? Например, необходимость пространства/времени в запуске программы, разработанной на любом языке.

Answer 1

Сравнение производительности раздел Comparison of programming paradigms Страница WikiPedia довольно много охватывает то, что вы просите, в общем.

Чисто с точки зрения общей длины пути инструкции, программа закодирована в императивном стиле, без использования каких-либо подпрограмм вообще, будет иметь самый низкий отсчет. Однако двоичный размер такой программы может быть больше, чем тот же программный код с использованием подпрограмм (как в функциональном и процедурного программирования), и будет ссылаться на более «нелокальные» физические инструкции, которые могут увеличить количество промахов в кеше и увеличить команду накладные расходы на современных процессорах.

Парадигмы, которые используют подпрограммы широко (в том числе функциональные, процедурного и объектно-ориентированного) и действительно также не использовать значительную встраивание (с помощью оптимизации компилятора) будет, следовательно, использовать больший процент от общего объема ресурсов на подпрограммы связей себя. Объектно-ориентированные программы, которые не преднамеренно изменяют прямое состояние программы, вместо использования методов мутаторов (или «сеттеров») , чтобы инкапсулировать эти изменения состояния, в качестве прямого следствия имеют большие накладные расходы. Это связано с тем, что передача сообщений является, по сути, вызовом подпрограммы, но с еще тремя дополнительными служебными данными : распределение динамической памяти, копирование параметров и динамическая отправка . Получение памяти из параметров кучи и копирования для передачи сообщений может включать значительные ресурсы, которые намного превышают те, которые необходимы для самого изменения состояния. Аксессоры (или «getters») , которые просто возвращают значения частных переменных-членов, также зависят от от подобных подпрограмм передачи сообщений, вместо использования прямого назначения (или сравнения) более , добавляя к общей длине пути.

... он идет на