Главная страница / 26. Эволюция и классификация языков прог...: 26.3. Языки высокого уров...
26.3. Языки высокого уровня
| ← 26.2. Низкоуровневые языки программирования | 26.4. Контрольные вопросы и задания → |
Навигация по разделам:
- 26.3.1. Процедурные языки программирования
- 26.3.2. Функциональные языки программирования
- 26.3.3. Логические языки программирования
- 26.3.4. Объектно-ориентированные языки программирования
Языки высокого уровня были разработаны для того, чтобы освободить программиста от анализа технических особенностей конкретных компьютеров, их архитектуры.
Язык высокого уровня – язык программирования, который обеспечивает описание задачи в наглядном, легко воспринимаемом виде, удобном для программиста.
Алгоритмические языки в значительной мере являются машинно-независимыми. Они облегчают работу программиста и повышают надежность создаваемых программ. Однако программы, написанные на языках высокого уровня, требуют перевода в машинные коды с помощью трансляторов.
Первым общепризнанным языком высокого уровня можно по праву назвать Fortran, первая версия которого появилась в ноябре 1954 года.
Языки программирования высокого уровня:
- процедурные;
- функциональные;
- логические;
- объектно-ориентированные.
26.3.1. Процедурные языки программирования
Процедурные (алгоритмические) языки (Fortran, Cobol, Algol, Basic, Pascal, C и др.) предназначены для однозначного описания алгоритмов. Для решения задачи процедурные языки требуют в той или иной форме явно записать процедуру ее решения. Программа на процедурном языке программирования состоит из последовательности операторов (инструкций), задающих те или иные действия.
Фортран (FORTRAN, FORmula TRANslation) – язык программирования высокого уровня, разработанный фирмой IBM в 1956 году для описания алгоритмов решения вычислительных задач. Наиболее распространенными версиями этого языка являются Фортран IV, Фортран 77 и Фортран 90. Последние версии Фортрана используются для программирования компьютеров с параллельной архитектурой.
Кобол (COBOL, COmmon Business-Oriented Languauge) – язык программирования высокого уровня, разработанный в конце 1959-х гг. ассоциацией КАДАСИЛ для решения коммерческих и экономических задач. Отличается развитыми средствами работы с файлами. Поскольку команды программ, написанных на Коболе, используют обычную английскую лексику и синтаксис, язык считался одним из самых простых. В настоящее время практически не используется.
Алгол (ALGOL, ALGOrithmic Language) - язык программирования высокого уровня, ориентированный на описание алгоритмов вычислительных задач. Был создан в 1958 году специалистами западно-европейских стран для решения научных задач. Версия этого языка Алгол-60 была принята Международной конференцией в Париже и получила широкое распространение. Версия Алгол-68, разработанная группой специалистов Международной федерации по обработке информации в 1968 году, получила статус международного универсального языка программирования, ориентированного на решение не только вычислительных, но и информационных задач. Хотя этот язык не получил широкого распространения, он долгие годы являлся стандартом для описания алгоритмов в научной литературе.
Бейсик (BASIC, Beginner`s All-purpose Symbolic Instruction Code) – язык программирования высокого уровня, разработанный в 1963–1964 годах в Дартмутском колледже Томасом Куртом и Джоном Кемени. Первоначально предназначался для обучения программированию. Отличался простотой благодаря наличию упрощенных конструкций языка Фортран и встроенных математических функций. В большинстве версий Бейсика используется интерпретатор для преобразования конструкций языка в машинный код, что позволяет запускать программы без промежуточной трансляции. В начале 1999 года корпорация Microsoft выпустила версию Visual Basic (VB 6.0), предназначенную для создания многокомпонентных приложений для систем уровня предприятий.
Паскаль (PASCAL, Program Applique a la Selection et la Compilation Automatique de la Litterature) – французский язык программирования высокого уровня, разработанный в конце 1960-х годов швейцарским профессором, ставшим Нобелевским лауреатом, Никласом Виртом. Язык предназначался для первоначального обучения программированию в университете. Назван в честь французского математика XVII века Блеза Паскаля. Для IBM PC наиболее популярной являлась система программирования Delphi фирмы Borland.
Си (C) – язык программирования высокого уровня, разработанный Денисом Ритчи в начале 1970-х годов на основе языка BCPL. Стал базовым языком операционной системы Unix. До сих пор является одним из наиболее популярных языков программирования.
26.3.2. Функциональные языки программирования
Функциональные языки (LISP, ML, Erlang, Haskell) – программа на таком языке представляет собой совокупность описаний функций и выражений, которые необходимо вычислить. Функциональное программирование не использует концепцию памяти как хранилища значений переменных. Операторы присваивания отсутствуют, вследствие чего переменные обозначают не области памяти, а объекты программы, что полностью соответствует понятию переменной в математике. Наличие стройной математической основы обеспечивает возможность использования алгебраических методов создания структуры, преобразования и исследования программ. Это в какой-то мере приближает их к описанию структуры мышления человека.
Лисп (LISP, LISt Processing) – язык программирования высокого уровня, разработанный в 1960 году Джоном Маккарти и предназначенный для манипулирования перечнями элементов данных. Использовался в университетских лабораториях США для решения задач, связанных с искусственным интеллектом.
26.3.3. Логические языки программирования
Логические языки (Prolog) – ориентированы не на разработку алгоритма решения задачи, а на систематическое и формализованное описание задачи с тем, чтобы решение следовало из составленного описания. В логическом программировании нужно только специфицировать факты, на которых алгоритм основывается, а не определять последовательность шагов, которые требуется выполнить. Логические программы отличаются принципиально низким быстродействием, так как вычисления осуществляются методом проб и ошибок (посредством поиска с возвратами).
Пролог (PROLOG, PROgramming in LOGic) – язык программирования высокого уровня, предназначенный для разработки систем и программ искусственного интеллекта. Был разработан в 1971 году в университет Марселя. Последняя его версия – Prolog 6.0.
26.3.4. Объектно-ориентированные языки программирования
Объектно-ориентированные (C++, С#, Java и др.) – в основе этих языков лежит понятие объекта, сочетающего в себе данные и действия над ними. Описание действительности в форме системы взаимодействующих объектов естественнее, чем в форме взаимодействующих процедур. Прототипом объектно-ориентированного программирования явился язык SIMULA-67. Но оформилось оно в самостоятельный стиль программ с появлением языка SMALLTALK (1972), первоначально предназначенного для реализаций функций машинной графики.
Си++ (С++) – язык программирования высокого уровня, созданный Бьярном Страустрапом на базе языка Си. Является его расширенной версией, реализующей принципы объектно-ориентированного программирования.
Java – объектно-ориентированный язык программирования высокого уровня, разработанный фирмой Sun Microsystem в 1994 году Он во многом сходен с С++ и нашел широкое распространение для написания программных продуктов в сетевых системах. Язык рассчитан на передачу по Интернет текстов программ, которые на всех компьютерах должны выполняться одинаковым образом.
C# (C Sharp, Си Шарп) – объектно-ориентированный язык программирования высокого уровня, разработанный в 2000 году фирмой Microsoft на основе языков C++ и Java.
| ← 26.2. Низкоуровневые языки программирования | 26.4. Контрольные вопросы и задания → |