Re[2]: kylix 2
Здравствуйте!
В четверг, 9-го января 2003, в 13:07:06 по московскому времени
Denis Dzyubenko написал:
AS>> Там выделялись три современные категории языков и методов
AS>> программирования - функциональный, структурный и
AS>> объектно-ориентированный. В первом (он в книге назывался процедурным)
DD> нам на лекциях дали 5 методологий программирования 'императивное',
DD> 'объектно-ориентированное', 'функциональное', 'логическое' и
DD> 'программирование в ограничениях'
Что-то мне тоже захотелось вспомнить, чему меня на лекциях учили.
Не совсем правильно в одном списке перечислять императивное и
функциональное программирование. Это всё равно, что говорить, что
формальная грамматика состоит из лексем, нетерминальных символов,
правил грамматики и начального символа. Да, понятия лексемы и
терминального символа соответствуют друг другу. Но это категории
деления по разным признакам. Аналогично, либо "операторное",
"функциональное" и "логическое", либо "императивное" и
"декларативное". Подобно тому, как операторное программирование
реализует идеи императивного, рекурсивное -- декларативного, в свою
очередь подразделяясь на логическое и функциональное.
А структурное -- это уже разновидность операторного, "при котором
для передачи управления в программе используются только три
конструкции. Эти три конструкции допускают последовательную,
условную и итеративную передачи управления. Безусловная
"произвольная" передача управления запрещается. Прямым результатом
этого является то, что каждая сложная команда в программе имеет
ровно одну точку входа и одну точку выхода, вследствие чего
облегчается восприятие программы" (по словарю 1990 г.).
--
С уважением,
Руслан Батдалов
Reply to: