Теорія мов програмування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування Мітки: пряме міжмовне посилання Візуальний редактор |
Немає опису редагування |
||
Рядок 3:
== Історія ==
У деякому сенсі, історія теорії мови програмування передує навіть розвитку самих мов програмування. [[Лямбда-числення]], розвинене [[Алонзо Черч|Алонзо Черчем]] і [[Стівен Коул Кліні|Стівеном Коулом Кліні]] в 1930-х, на думку деяких, є першою в світі мовою програмування, навіть при тому, що воно було призначене більше для обчислювальних розрахунків, ніж засіб для програмістів, яке описує алгоритми комп'ютерної системи, Багато сучасних функціональних мов програмування легко описуються з точки зору лямбда-числення.
Першою мовою програмування, яка була винайдена,була Планкалкюль (нім.- обчислення планів), який була розроблена [[Конрад Цузе|Конрадом Цузе]] в 1940-х, але не була відома суспільству до 1972 (і не була здійснена до 1998). Перша широко відома і успішна мова програмування - [[Fortran|Фортран]] (1954-1957), яка розроблена командою дослідників IBM на чолі з Джоном Бекусом. Успіх Фортрану привів до формування комітету вчених, які намагалися розробити "універсальну" комп'ютерну мову. Результатом їх зусиль був [[ALGOL|АЛГОЛ 58]]. В той же час, [[Джон Маккарті]] із [[Массачусетський технологічний інститут|MIT]] розробив мову програмування [[LISP|Лісп]] (засновану на лямбда-численні), яка є першою успішною мовою з науковим походженням. З успіхом цих початкових зусиль мови програмування стали активної темою дослідження в 1960-х і після.
Деякі інші ключові події в історії теорії мови програмування з тих пір:
=== 1950-ті ===
* [[Ноам Чомскі|Ноам Хомський]] розробив ієрархію Хомського в галузі лінгвістики. Це відкриття безпосередньо вплинуло на теорію мови програмування та інші галузі інформатики.<br>
=== 1960-ті ===
* Мова [[Simula|Симула]] була розроблена Оле-Йоном Далем і Нігаард Крістен.Вважають,що це перший приклад об'єктно-орієнтованої мови програмування. Симула також ввела поняття співпрограми.<br>
* У 1964 Пітер Ландін вперше реалізував лямбда-числення Черча,що може бути використаним для моделювання мов програмування. Він представляє машину Secd, яка "інтерпретує" лямбда-вирази.<br>
* У 1965 році Ландін вводить оператор J,який є формою продовження.<br>
* У 1966 році Ландін у своїй статті "Наступні 700 мов програмування" презентував ISWIM,абстрактну комп'ютерну мову програмування. Це мало великий вплив в подальшій розробці мов програмування,що ведуть до Haskell.<br>
* У 1966 році Коррадо Бем представив мову програмування [[Coach]]<br>
* У 1967 році Крістофер Стрейчі опублікував свій важливий набір конспекта лекцій щодо основних понять мов програмування, введення R-значення термінології, L-значення, параметричний поліморфізм, а також спеціальний поліморфізм.<br>
* У 1969 році Дж Роджер Хиндли публікує основную тип-схему об'єкта у комбінаторної логіці, пізніше узагальнена у алгоритм виведення типів Хіндлі-Мілнера.<br>
Рядок 25:
* У 1970 році Дана Скотт вперше опублікувала свою роботу по денотаціонной семантиці.<br>
* У 1972 році було розроблені логічне програмування і пролог.Це дало можливість комп'ютерним програмам виражатися через математичку логіку.<br>
* У 1974 році Джон С. Рейнольдс виявляє систему F. Це було уже винайдено математичним логіком Жан-Ів
* З 1975 року, Сассмен і Стіл розробляю мову програмування [[Scheme]] і мову Лісп,яка включає лексичну зону видимості, єдиний простір імен і елементи з моделі Actor, включаючи продовження першого класу.<br>
* Backus, at the 1977 [[Премія Тюрінга|ACM Turing Award]] lecture, assailed the current state of industrial languages and proposed a new class of programming languages now known as function-level programming languages.
* In 1977, Gordon Plotkin introduces Programming Computable Functions, an abstract typed functional language.
| |||