Теорія мов програмування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Рядок 27:
* У 1974 році Джон С. Рейнольдс виявляє систему F. Це було уже винайдено математичним логіком Жан-Ів Жираром ще в 1971 році.<br>
* З 1975 року, Сассмен і Стіл розробляю мову програмування [[Scheme]] і мову Лісп,яка включає лексичну зону видимості, єдиний простір імен і елементи з моделі Actor, включаючи продовження першого класу.
* Бакус, в 1977 році премії Тюрінга лекції, розкритикував поточний стан
* In 1977, Гордон Плоткін презентував програмування обчислювальних функцій,абстрактно набрана мова
* У 1978 році [[Робін Мілнер]] вводить алгоритм виведення типів
=== 1980-ті ===
Рядок 36:
* Команда вчених [[PARC|Xerox PARC]] під керівництвом Алана Кея розробили [[Smalltalk]], об'єктно-орієнтована мову,яка широко відома своїм інноваційним розробницьким середовищем .
* Там з'явилися обробки обчислень: обрахунок взаємодіючих систем Робіна Мілнера,модель комунікативних послідовних процесів Тоні Хоара,а також аналогічні моделі паралелізму(наприклад,модель Actor Карла Хьюітта.
* У 1985, випуск Miranda запалює навчальний інтерес до раніше відкладених чистих функціональних мов програмування. Був створений комітет для визначення відкритого стандарту,що призвів до випуску [[Haskell]] 1.0 в 1990 році.
* Бертран Мейер створив методологію проектування (за договором) та включив її в мову програмування [[Eiffel]].<br>
=== 1990-ті ===
| |||