Императивное программирование

Материал из Seo Wiki - Поисковая Оптимизация и Программирование

Перейти к: навигация, поиск

Императи́вное программи́рование — это парадигма программирования, которая, в отличие от декларативного программирования, описывает процесс вычисления в виде инструкций, изменяющих состояние программы. Императивная программа очень похожа на приказы, выражаемые повелительным наклонением в естественных языках, то есть это последовательность команд, которые должен выполнить компьютер.

Императивные языки программирования противопоставляются функциональным и логическим языкам программирования. Функциональные языки, например, Haskell, не представляют собой последовательность инструкций и не имеют глобального состояния. Логические языки программирования, такие как Prolog, обычно определяют что надо вычислить, а не как это надо делать.

Содержание

История

Первыми императивными языками были машинные коды - родной язык программирования для компьютера. В этих языках инструкции были крайне просты, что снижало нагрузку на компьютеры, однако затрудняло написание крупных программ. В 1954 появился первый "человеческий" язык программирования - FORTRAN, разработанный Джоном Бэкусом в IBM. FORTRAN является компилируемым языком программирования и позволяет использовать именованные переменные, составные выражения, подпрограммы и многие другие элементы распространённых сейчас императивных языков. В конце 1950х годов с целью упростить выражение математических алгоритмов был разработан ALGOL; в дальнейшем он послужил базой для написания операционных систем для некоторых моделей компьютеров. COBOL (1960) и BASIC (1964) являлись первыми попытками сделать программирование более похожим на обычный английский язык. В 1970х годах Никлаус Вирт разработал язык Pascal. Язык C был создан Денисом Ритчи. Команда разработчиков из Honeywell начала разработку языка Ada в 1978, и через четыре года опубликовала требования для его работы. Спецификация увидела свет в 1983 и была обновлена в 1995 и 2005/6 годах.

В 1980х резко возрос интерес к объектно-ориентированному программированию. Smalltalk-80, впервые разработанный Аланом Кэем в 1969, был обновлён в 1980 исследовательским центром Xerox PARC. По образу и подобию языка Simula (предположительно, первого в мире ООП-языка, разработанного ещё в 1960х) Бьерн Страуструп разработал C++, основанный на C. C++ был впервые реализован в 1985. В 1987 Ларри Уолл выпустил язык Perl; Python был выпущен в 1990 Гвидо ван Россумом; в 1994 Расмус Лердорф разработал PHP; Java была разработана в Sun Microsystems в 1994; Ruby был выпущен в 1995; C# был начат в декабре 1998.

Литература

  • Роберт В Себеста Основные концепции языков программирования = Concepts of Programming Languages. — 5-е изд. — М.: «Вильямс», 2001. — С. 672. — ISBN 0-201-75295-6
  • Pratt, Terrence W., Marvin V. Zelkowitz. Programming Languages: Design and Implementation, 3rd ed. Englewood Cliffs, N.J.: Prentice Hall, 1996.

См. также

Ссылки


ast:Llinguaxe de programación imperativu

be-x-old:Імпэратыўнае праграмаваньне bs:Imperativno programiranje cs:Imperativní programování de:Imperative Programmierung el:Προστακτικός προγραμματισμός en:Imperative programming es:Programación imperativa fa:زبان‌های دستوری fi:Imperatiivinen ohjelmointi fr:Programmation impérative gl:Programación imperativa ja:命令型プログラミング ko:명령형 프로그래밍 nl:Imperatief programmeren pl:Programowanie imperatywne pt:Programação imperativa ro:Programare imperativă sh:Imperativno programiranje sr:Императивно програмирање sv:Imperativ programmering uk:Імперативне програмування zh:指令式編程

Личные инструменты

Served in 0.096 secs.