Вікіпедія

Теорія мов програмування: відмінності між версіями

Інтерактивний перегляд історії
[перевірена версія][перевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Basio (обговорення | внесок)
54 813 редагувань
м вилучена Категорія:Інформатика за допомогою HotCat
правопис
Рядок 13:
 
=== 1960-ті ===
* Мова [[Simula|Симула]] була розроблена Оле-Йоном Далем і НігаардКрістеном КрістенНюгордом. Вважають, що це перший приклад об'єктно-орієнтованої мови програмування. Симула також ввела поняття співпрограми.
* У 1964 [[Пітер Ландін]] вперше реалізував лямбда-числення Черча, що може бути використаним для моделювання мов програмування. Він представляє машину Secd, яка «інтерпретує» лямбда-вирази.
* У 1965 році Ландін вводить оператор J, який є формою продовження.
*  У 1966 році Ландін у своїй статті «Наступні 700 мов програмування» презентував [[ISWIM]], абстрактну комп'ютерну мову програмування. Це мало великий вплив в подальшій розробці мов програмування, що ведуть до Haskell.
* У 1966 році Коррадо Бем представив мову програмування [[Coach]]
* У 1967 році Крістофер Стрейчі опублікував свій важливий набір конспекта лекцій щодо основних понять мов програмування, введення R-значення термінології, L-значення, параметричний поліморфізм, а також спеціальний поліморфізм.
* У 1969 році Дж Роджер ХиндлиГіндлі публікує основнуюосновну тип-схему{{що це}} об'єкта у комбінаторної логіці, пізніше узагальненаузагальнену у алгоритм виведення типів ХіндліГіндлі-Мілнера.
* У 1969 році Тоні ХоарГоар вводить логіку ХоараГоара, форму аксіоматичної семантики.
* У 1969 році Вільям Елвін Говард помітив, що система доказу «високого рівня», іменована природного виведенням, може бути безпосередньо інтерпретована в надрукований варіант моделі обчислень, відомої як лямбда-числення. Пізніше це стало називатися як відповідність Каррі-Говарда. 
 
Рядок 30:
* Бакус, в 1977 році лекції [[Премія Тюрінга|премії Тюрінга]], розкритикував поточний стан індустріальних мов і запропонував новий клас мов програмування. В даний час відомі як функціонально-рівневі мови програмування.
* In 1977, Гордон Плоткін презентував програмування обчислювальних функцій, абстрактно набрана мова
* У 1978 році [[Робін Мілнер]] вводить алгоритм виведення типів ХіндліГіндлі-Мілнера для мови програмування [[ML]]. Теорія типу стала застосовуватися як дисципліна мов програмування, цей додаток привів до величезних досягнень в області теорії типу протягом багатьох років.
 
=== 1980-ті ===
Рядок 36:
* У 1988 році Жиль Кан опублікував свою статтю про нормальну семантику.
* Команда вчених  [[PARC|Xerox PARC]] під керівництвом Алана Кея розробили [[Smalltalk]], об'єктно-орієнтована мову, яка широко відома своїм інноваційним розробницьким середовищем .
* Там з'явилися обробки обчислень: обрахунок взаємодіючих систем Робіна Мілнера, модель комунікативних послідовних процесів Тоні ХоараГоара, а також аналогічні моделі паралелізму(наприклад, модель Actor Карла Хьюітта.
* У 1985, випуск Miranda запалює навчальний інтерес до раніше відкладених чистих функціональних мов програмування. Був створений комітет для визначення відкритого стандарту, що призвів до випуску [[Haskell]] 1.0 в 1990 році.
* Бертран Мейер створив методологію проектування (за договором) та включив її в мову програмування [[Eiffel]].
 
=== 1990-ті ===
* Грегор Кізалес, Джим Де Рів'єр і Даніель Г. Бобров опублікували книгу «[[Мистецтво протоколу метаоб'ектаєкта]]».
* Євгеніо Моджі і Філіп Вадлер ввели використання монад для структурування програм, написаних на функціональних мовах програмування.
 
Отримано з https://uk.wikipedia.org/wiki/Теорія_мов_програмування