Новосибирский государственный университет Факультет информационных технологий Современные проблемы информатики и вычислительной техники

А.М.Федотов

Словарь терминов в коллекции "Современные проблемы информатики"

Декларативное программирование

Декларативный стиль программирования (декларативное программирование) представляет собой совокупность утверждений, описывающих фрагмент предметной области или сложившуюся ситуацию; описывается результат (его свойства), а не методы его достижения.

Программируя в декларативном стиле, программист должен описать, что нужно решать.

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

Ключевые термины, связанные с термином "Декларативное программирование":

1. TeX (Документация и описание).
2. Логическое программирование
3. Функциональное программирование

Ключевые термины (головные):  парадигма программирования;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН