2.2.1. Коротка історія розвитку мов програмування

Ідея мови програмування з’явилась так само давно, як і універсальні обчислювальні машини – на межі 40-50 років. Вже на перших кроках їх експлуатації виявилися недоліки використання машинного коду, визначились методи усунення або зменшення цих недоліків: використання бібліотек стандартних програм, імен замість адрес, попереднього розподілу пам’яті і т.п.

Великий вплив на наступні розробки виявила мова Fortran, створена у IBM під керівництвом Дж. Бекуса (1954-57 р.р.). У той же час М.Г.Хоппер (Ramington-Rand Univac) і її група розробили мову обробки комерційної інформації Flow-Matic. М.Г.Хоппер належить термін “компілятор”. Таку назву мала її перша програма, яка транслювалась.

Перші виробничі мови програмування з’явились на межі 50-60 років, знаменуючи собою нову епоху у розвитку обчислювальних машин і методів обробки інформації. Ці мови високого рівня були реалізовані на перших комп’ютерах 2-го покоління.

Ось деякі дати:

1957 р. Fortran США, ІВМ, Дж. Бекус: по суті перша широко застосовувана мова, орієнтована на науково-інженерні і чисельні задачі.

1960 р. Cobol США, Об’єднаний комітет виробників та користувачів ЕОМ: мова для комерційних задач.

1960 р. Algol-60. Поліпшений варіант мови Algol-58, Європа, США, міжнародна робоча група: універсальна мова, пращур мови Pascal і багатьох інших мов європейського стилю.

1965 р. BASIC Дж. Кемені, Т.Куртц, США, Дармутський коледж: мова для починаючих.

1969 р. Logo С.Пейперт, США, Массачусетський технологічний інститут: мова для дітей.

1966 р. PL-1 група ІВМ, США: Багатоцільова мова для систем колективного користування.

1968 р. Algol-68. Європа, міжнародна робоча група: європейська відповідь на PL-1.

1970 р. Pascal Н. Вірт, Швейцарія, федеральний інститут технології, Цюрих: мова для навчання спеціалістів в області інформатики.

1959 р. Lisp Дж.Маккарті, США, Массачусетський технологічний інститут: мова функціонального програмування.

1972 р. Prolog А.Колмєрое і його колеги з лабораторії Штучного інтелекту, Марсельський університет, Франція: мова логічного програмування, що завоювала широку популярність як мова для задач обробки баз знань.

1972-75 р.р. С і його розвиток С++. Д.Керніган, Д.Річі, Б.Страустрап, АТ & Т Bell Lab.,: мови системного програмування, які отримали широке розповсюдження завдяки своїй ефективності і підтримці ведучих компаній - розробників програмного забезпечення.

1975 р. Modula - 2 Н. Вірт, Розвиток мов Pascal і Modula для системного програмування.

Перші мови програмування несли у собі явно виражені ознаки орієнтації на структуру комп’ютеру. Вважалось, що програми, написані ними, призначені для виконання на комп’ютері. (Fortran – програми до цих пір пишуть на спеціальних бланках, орієнтованих на перфорацію. Ще одна яскраво виражена ознака машинної орієнтації – мітки і оператор GOTO.)

В результаті теоретичного осмислення процесів, які відбувалися у програмуванні, був вироблений так званий структурний підхід до написання програм, а для його реалізації розроблені такі мови, як Pascal, Modula - 2. Ідеологи структурного підходу вважають, що комп’ютери призначені для виконання програм, а не програми – для виконання на комп’ютері.

Перенесення акцентів з комп’ютеру на програми ще більш яскраво виявилось у появі принципово нових стилів програмування – функціонального програмування (Lisp), логічного програмування (Prolog), алгебраїчного програмування (Reduce, APS).

У цих мовах центральну роль грають не процедури обробки даних, а співвідношення між даними, які повинні виконуватись у процесі виконання програми. Тому ці мови, на відміну від процедурних (вказівних, імперативних), отримали назву декларативних (описових ).