Теорія мов програмування: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Bunyk (обговорення | внесок) |
Dgho (обговорення | внесок) Немає опису редагування |
||
Рядок 21:
* У 1969 році Дж Роджер Гіндлі публікує основну тип-схему{{що це}} об'єкта у комбінаторної логіці, пізніше узагальнену у алгоритм виведення типів Гіндлі-Мілнера.
* У 1969 році Тоні Гоар вводить логіку Гоара, форму аксіоматичної семантики.
* У 1969 році Вільям Елвін Говард помітив, що система доказу «високого рівня», іменована природного виведенням, може бути безпосередньо інтерпретована в надрукований варіант моделі обчислень, відомої як лямбда-числення. Пізніше це стало називатися як відповідність Каррі-Говарда.
=== 1970-ті ===
Рядок 89:
* [http://plgrand.blogspot.com/ Grand Challenges in Programming Languages]. Panel session at POPL 2009.
{{Інформатика}}
{{ВП-портали|Програмування}}▼
{{Мови програмування}}
{{Refimprove|дата=березень 2017}}
{{Compu-lang-stub}}
▲{{ВП-портали|Програмування}}
[[Категорія:Програмування]]
[[Категорія:Мови програмування]]
| |||