Язык fort (с точки зрения обычного программирования)

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

Из характерных особенностей FORT выделяют:

1. наличие стека данных, применяемого для обмена аргументами и отд словами ф-ии.

2. возм-сть работы с объектами типа «словарь», описывающим активный в данный момент список слов известный системе.

3. Динамическое перелючение режимов, к-ое позв-т создавать сложную структуру памяти и управления.

4. Наличие двух уровней раширения языка с пом так называемых определяющих слови с пом спец слова: встроенный вFORTязык ассемблера позв-т эффективно реализовывать аппаратно-зависимые ф-ии и ф-ии сопряжения с др системами программ-ия.

Недостатки FORT:

1. необычность выраж-ий и отсутс. выражений как таковых, в частности, арифметики с плав точкой

2. отсутствие типов

3. трудность чтения и понимания программ

4. трудности перехода программы на др языки

5. исп-ие польской записи и необычная форма предложения – если …, то … иначе

Области применения FORT:

- разработка трансляторов и ОС

- в задачах, связанных со сбором и анализом данных

- в системах машинной графики

- создание экспертной системы

- для процессов управления и моделирования

Активное исп-ие везде. Стандарт FORTбыл выпущен в 1983г.

LISP

В 1956г – на Дартмутской конференции был предложен язык LISP(Маккарти). Логика, к-ая реализована в языкеLISP, была унаследована у математиков Тедала и Чорча. В период с 1956 по 1959 – Джордж Маккарти вместе со студентами Масачусатского технологич институту разработал первую версиюLISP. В целом язык опред-ся как ЯП функционального типа, в основу к-ого положен метод-исчисления. Программа и данные языкаLISPсущ-т в форме символьных выражений, к-ые хранятся в виде списковых структур.

В общем виде LISP оперирует 2-мя типами объектов:

1) атомы

2) списки

Атомы – исп-ые для идентификации объектов, к-ые могут быть числовыми или символьными.

Список – послед-сть элементов, заключ-ых в круглые скобки, каждыф из к-ых явл-ся либо атомом, либо списком.

LISP в общем случае оперирует списками путем 3 примитивных ф-ий:CAR,CDR,CONS.

CAR– в ней в качестве знач аргумента исп-ся 1 элемент списка.

CDR– значением аргумента в этой ф-ии явл-ся оставшаяся часть списка после удаления 1 элемента.

CONS– собирательная ф-ия.

Первая LISP-машина появилась в сер 70-80х. В настоящее время они исп-ся в качестве раб станций для конструирования и развития экспертных систем. С 1982г –LISP-компьютеры выпускаются как машины БД для различных вычислит платформ. В наст время ведутся разработкиLISP-машин с параллельной архитектурой.

ADA

Предложение по данному языку появилось в 1979г. как универсальное ср-во для разработки больших программных систем и для решения задач в реальном времени. Инициатором было Министерство обороны США. Назван ADAв честь дочери Байрона.

В языке ADA определены 4 формы программных модулей:

- подпрограмма– осн рабочая единица программы.

- пакет– логич совок-сть подпрограмм или данных.

- задача– параллельно выполняемая часть программы.

- настраиваемые модули– макро ср-ва языка высокого уровня.

Конструкция языка включает ср-ва структурированных данных и операций. Ограничены возм-сти исп-ия меток, ср-в управления операции перехода.

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

ADAсод-т макро итерации в завис-сти от таких параметров, как объект переменных, подпрограмма, программа. Программа на языкеADAпредназначена для выполнения во встроенных выч системах.ADAпрограмма разраб-ся на спец ЭВМ (ЭВМ непосредственно встроено (подключено) в процессе управления).

PASCAL

Система программирования Турбо Паскаль представляет собой единство двух в известной степени самостоятельных начал: компилятора с языка программирования Паскаль (язык назван в честь выдающегося французского математика и философа Блеза Паскаля (1623-1662)) и некоторой инструментальной программной оболочки, способствующей повышению эффективности создания программ.