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

Словарь-справочник по информатике (онтология информатики)

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

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

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

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

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

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

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

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

Федотова Ольга Анатольевна

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