Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Информатика Учебник НГТУ Семестр 2.docx
Скачиваний:
87
Добавлен:
27.03.2015
Размер:
4.01 Mб
Скачать

29.3.2. Функциональные языки программирования

↑ Наверх

Функциональные языки (LISP, ML, Erlang, Haskell) - программа на таком языке представляет собой совокупность описаний функций и выражений, которые необходимо вычислить. Функциональное программирование не использует концепцию памяти как хранилища значений переменных. Операторы присваивания отсутствуют, вследствие чего переменные обозначают не области памяти, а объекты программы, что полностью соответствует понятию переменной в математике. Наличие стройной математической основы обеспечивает возможность использования алгебраических методов создания структуры, преобразования и исследования программ. Это в какой-то мере приближает их к описанию структуры мышления человека.

Лисп (LISP, LISt Processing) - язык программирования высокого уровня, разработанный в 1960 г. Дж.Маккарти и предназначенный для манипулирования перечнями элементов данных. Использовался в университетских лабораториях США для решения задач, связанных с искусственным интеллектом.

29.3.3. Логические языки программирования

↑ Наверх

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

Пролог (PROLOG, PROgramming in LOGic) - язык программирования высокого уровня, предназначенный для разработки систем и программ искусственного интеллекта. Был разработан в 1971 г. в университет г. Марсель. Последняя его версия Prolog 6.0.

Объектно-ориентированные (C++, С#, Java и др.) - в основе этих языков лежит понятие объекта, сочетающего в себе данные и действия над ними. Описание действительности в форме системы взаимодействующих объектов естественнее, чем в форме взаимодействующих процедур. Прототипом объектно-ориентированного программирования явился язык SIMULA-67. Но оформилось оно в самостоятельный стиль программ с появлением языка SMALLTALK (1972), первоначально предназначенного для реализаций функций машинной графики.

Си++ (С++) - язык программирования высокого уровня, созданный Бьярном Страустрапом на базе языка Си. Является его расширенной версией, реализующей принципы объектно-ориентированного программирования.

Java – объектно-ориентированный язык программирования, разработанный фирмой Sun Microsystem в 1994 г. Он во многом сходен с С++ и нашел широкое распространение для написания программных продуктов в сетевых системах. Язык рассчитан на передачу по Интернет текстов программ, которые на всех компьютерах должны выполняться одинаковым образом. C# (C Sharp, Си Шарп) – объектно-ориентированный язык программирования, разработанный в 2000 г. фирмой Microsoft. Создан на основе C++ и Java.

← 29.2. Низкоуровневые языки программирования

30.0. Введение →