Ми працюємо над відновленням додатку Unionpedia у Google Play Store
ВихідніВхідний
🌟Ми спростили наш дизайн для кращої навігації!
Instagram Facebook X LinkedIn

Теорія мови програмування

Індекс Теорія мови програмування

Маленька грецька буква λ (лямбда) це неофіційний символ області теорії мови програмування. Використання походить від лямбда-числення, моделі обчислень, введеної Алонзо Черчем у 1930-х роках і широко використовується дослідниками мов програмування.

Зміст

  1. 25 відносини: ALGOL, Eiffel, Haskell, Lisp, ML, OOPSLA, PARC, Scheme, Simula, Smalltalk, Конрад Цузе, Премія Тюрінга, Пенсильванський університет, Алонзо Черч, Ноам Чомскі, Робін Мілнер, Стівен Коул Кліні, Утрехтський університет, Університет Карнегі-Меллон, Фортран, Массачусетський технологічний інститут, Метапрограмування, Дана Скотт, Джон Маккарті, Лямбда-числення.

  2. Теорія мов програмування

ALGOL

АЛГОЛ або ALGOL (скорочення від ALGOrithmic Language — алгоритмічна мова) — сімейство імперативних мов програмування, першу версію розроблено в середині 1950-х, і стала де факто стандартною мовою публікації алгоритмів на наступні 30 років.

Переглянути Теорія мови програмування і ALGOL

Eiffel

Eiffel — об'єктно-орієнтована мова програмування.

Переглянути Теорія мови програмування і Eiffel

Haskell

Haskell (Гаскель, Гаскелл) — стандартизована, винятково функційна мова програмування з нестрогою семантикою.

Переглянути Теорія мови програмування і Haskell

Lisp

Лісп (Lisp) — мова програмування загального призначення з підтримкою парадигм функціонального та процедурного програмування.

Переглянути Теорія мови програмування і Lisp

ML

ML (Meta Language) — сімейство строго типізованих мов функціонального програмування з розвиненою поліморфною системою типів і модулями що параметризуються. Подібна система типів була раніше запропонована Роджером Гіндлі у 1969 році і зараз часто називається системою Гіндлі-Мілнера.

Переглянути Теорія мови програмування і ML

OOPSLA

OOPSLA (Object-Oriented Programming, Systems, Languages & Applications; Об'єктно-орієнтоване програмування, системи, мови й застосування) — щорічна дослідницька конференція ACM з об'єктно-орієнтованого програмування.

Переглянути Теорія мови програмування і OOPSLA

PARC

Xerox Alto — перший у світі комп'ютер з графічним інтерфейсом, розробленний в Xerox PARC PARC (Palo Alto Research Center), раніше Xerox PARC — науково-дослідницький центр, заснований за вимогою головного наукового співробітника компанії Xerox Джека Голдмана у 1970 році.

Переглянути Теорія мови програмування і PARC

Scheme

Scheme — мультипарадигмна мова програмування, підтримує функціональну та процедурну парадигми програмування.

Переглянути Теорія мови програмування і Scheme

Simula

Симула (Simula) — спільна назва двох мов програмування, Симула, та Симула 67, розроблених в 1960-ті роки в Норвезькому центрі комп'ютерних досліджень в Осло, Олє-Йоханом Далєм та Крістеном Нуґардом.

Переглянути Теорія мови програмування і Simula

Smalltalk

Smalltalk (вимовляється) — об'єктно-орієнтована мова програмування з динамічною типізацією, розроблена в Xerox PARC Аланом Кейем, Деном Інгаллсом, Тедом Кеглером, Адель Голдберг в 1970-х роках.

Переглянути Теорія мови програмування і Smalltalk

Конрад Цузе

Конрад Цузе (Konrad Zuse;, —, Хюнфельд, біля Фульди) — німецький інженер, піонер комп'ютеробудування.

Переглянути Теорія мови програмування і Конрад Цузе

Премія Тюрінга

Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.

Переглянути Теорія мови програмування і Премія Тюрінга

Пенсильванський університет

Пенсильванський університет або Університет Пенсильванії (University of Pennsylvania) — університет в місті Філадельфія, штат Пенсильванія, заснований в 1740 Бенджаміном Франкліном.

Переглянути Теорія мови програмування і Пенсильванський університет

Алонзо Черч

Алонзо Черч (Алонзо Чорч) (*14 червня 1903, Вашингтон, США — †11 серпня 1995, Гадсон, Огайо, США) — видатний американський математик і логік.

Переглянути Теорія мови програмування і Алонзо Черч

Ноам Чомскі

Авра́м Ноа́м Хо́мський (також транскрибується як Чо́мскі, Avram Noam Chomsky; *7 грудня, 1928, Філадельфія, Пенсильванія) — американський лінгвіст, філософ та політичний активіст, аналітик, літератор, професор мовознавства Масачусетського технологічного інституту (МТІ) у відставці.

Переглянути Теорія мови програмування і Ноам Чомскі

Робін Мілнер

Артур Джон Робін Ґорел Мілнер (Arthur John Robin Gorell Milner; 13 січня 1934 р. у (Плімут, Англія) — 20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.

Переглянути Теорія мови програмування і Робін Мілнер

Стівен Коул Кліні

Стівен Коул Кліні (Stephen Cole Kleene) (5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики.

Переглянути Теорія мови програмування і Стівен Коул Кліні

Утрехтський університет

Утрехтський університет (Universiteit Utrecht) — великий університет з багатою науковою та історико-культурною спадщиною, розташований у місті Утрехт (Нідерланди).

Переглянути Теорія мови програмування і Утрехтський університет

Університет Карнегі-Меллон

Університет Карнегі-Меллон (Carnegie Mellon University, CMU) — приватний університет і дослідний центр, розташований в місті Піттсбург, штат Пенсильванія, США.

Переглянути Теорія мови програмування і Університет Карнегі-Меллон

Фортран

Фортран (Fortran) (раніше FORTRAN — скорочення від «The IBM Mathematical Formula Translating System», тобто «Система трансляції математичних формул від IBM») — це імперативна мова програмування загального призначення, яка особливо підходить для інтенсивних чисельних та наукових обчислень.

Переглянути Теорія мови програмування і Фортран

Массачусетський технологічний інститут

Массачу́сетський технологі́чний інститу́т (МТІ) (Massachusetts Institute of Technology (MIT)) — один з найкращих у США, та загалом у світі, технічний університет.

Переглянути Теорія мови програмування і Массачусетський технологічний інститут

Метапрограмування

Метапрограмування — вид програмування, пов'язаний із створенням програмного коду, який на основі описів (метаданих) деяких процесів, алгоритмів або даних породжує інші програми для автоматизації описаних процесів, виконання послідовностей операцій алгоритмів або обробки даних.

Переглянути Теорія мови програмування і Метапрограмування

Дана Скотт

Дана Скотт (Dana Stewart Scott; 11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга.

Переглянути Теорія мови програмування і Дана Скотт

Джон Маккарті

Джон Маккарті (John McCarthy; 4 серпня 1927 року, Бостон, США — 24 жовтня 2011, Стенфорд) — американський інформатик та дослідник мислення, який вважається винахідником терміну «Штучний інтелект», який він вжив у своїх пропозиціях 1955 року до конференції в Дартмуті 1956, винахідник мови LISP.

Переглянути Теорія мови програмування і Джон Маккарті

Лямбда-числення

Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.

Переглянути Теорія мови програмування і Лямбда-числення

Див. також

Теорія мов програмування

Також відомий як Теорія мов програмування.