тю, і переносимістю. У багатьох випадках програми, написані на Сі, порівняні по швидкості з програмами, написаними на мові Асемблера. При цьому вони мають кращу наочність і їх більш просто супроводжувати. Сі поєднує ефективність і потужність в відносно малому по розміром мовою.
Поява функціонального програмування призвело до створення мови Пролог. Ця мова програмування розроблявся для задач аналізу і розуміння природних мов на основі мови формальної логіки і методів автоматичного доведення теорем.
У 80-х г.20 століття була створена мова Ада. Ця мова на додаток до класичних властивостям, забезпечує програмування завдань реального часу і моделювання паралельного вирішення завдань.
Існують різні класифікації мов програмування . За найбільш поширеною класифікацією всі мови програмування ділять на мови низького, високого та надвисокого рівня.
У групу мов низького рівня входять машинні мови і мови символічного кодування: ( Автокод, Асемблер ). Оператори цієї мови - Це ті ж машинні команди, але записані мнемонічними кодами, а в якості операндів використовуються не конкретні адреси, а символічні імена. Всі мови низького рівня орієнтовані на певний тип комп'ютера, тобто є машинно-залежними. Машинно-орієнтовані мови - це мови, набори операторів і образотворчі засоби яких істотно залежать від особливостей ЕОМ (внутрішнього мови, структури пам'яті і т.д.).
Наступну, істотно більш численну групу складають мови програмування високого рівня . Це Фортран, Алгол, Кобол, Паскаль, Бейсік, Сі, Пролог і т.д. Ці мови машинно-незалежні, тому що вони орієнтовані не так на систему команд тієї чи іншої ЕОМ, а на систему операндів, характерних для запису певного класу алгоритмів. Однак програми, написані на мовах високого рівня, займають більше пам'яті і повільніше виконуються, ніж програми на машинних мовами.
До мов надвисокого рівня можна віднести лише Алгол-68 і APL. Підвищення рівня цих мов відбулося за рахунок введення надпотужних операцій і операторів.
Інша класифікація ділить мови на обчислювальні та мови символьної обробки. До першого типу відносять Фортран, Паскаль, Алгол, Бейсік, Сі, до другого типу - Лісп, Пролог, Снобол та ін
У сучасній інформатиці можна виділити два основних напрямки розвитку мов програмування: процедурне і Непроцедурного .
Процедурне програмування виникло на зорі обчислювальної техніки та одержала широке поширення. У процедурних мовах програма явно описує дії, які необхідно виконати, а результат задається тільки способом отримання його за допомогою деякої процедури, яка являє собою певну послідовність дій.
Серед процедурних мов виділяють у свою чергу структурні і операційні мови . У структурних мовами одним оператором записуються цілі алгоритмічні структури: розгалуження, цикли і т.д. В операційних мовах для цього використовуються кілька операцій. Широко поширені такі структурні мови: Паскаль, Сі, Ада, ПЛ/1. Серед операційних відомі Фортран, Бейсік, Фока. p> Непроцедрное ( декларативне ) програмування з'явилося на початку 70-х років 20 століття, але стрімкий його розвиток почався в 80-ті роки, коли був розроблений японський проект створення ЕОМ п'ятого покоління, метою якого стала підготовка грунту для створення інтелектуальних машин. До Непроцедурного програмування відносяться функціональні і логічні мови.
У функціональних мовами програма описує обчислення деякої функції. Зазвичай ця функція задається як композиція інших, більш простих, ті в свою чергу розкладаються на ще більш прості і т.д. Один з основних елементів у функціональних мовах - рекурсія , тобто обчислення значення функції через значення цієї ж функції від інших елементів. Присвоювання і циклів в класичних функціональних мовах немає.
У логічних мовами програма взагалі не описує дій. Вона задає дані і співвідношення між ними. Після цього системі можна задавати питання. Машина перебирає відомі і задані в програмі дані і знаходить відповідь на запитання. Порядок перебору не описується в програмі, а неявно задається самим мовою. Класичним мовою логічного програмування вважається Пролог. Побудова логічної програми взагалі не вимагає алгоритмічного мислення, програма описує статичні відносини об'єктів, а динаміка знаходиться в механізмі перебору і прихована від програміста.
Можна виділити ще один клас мов програмування - об'єктно - орієнтовані язиківисокого рівня. На таких мовах не описують докладної послідовності дій для вирішення завдання, хоча вони містять елементи процедурного програмування. Об'єктно-орієнтовані мови, завдяки багатому користувача інтерфейсу, пропонують людині вирішити завдання в зручній ...
