Войти
Строчная греческая буква λ (лямбда ) является неофициальным символом теории языков программирования. Это использование происходит от лямбда-исчисления, модели вычислений, введенной Алонзо Черч в 1930-х годах и широко используемой исследователями языков программирования. Он украшает обложку классического текста Структура и интерпретация компьютерных программ и заголовок так называемых лямбда-документов 1975–1980 годов, написанных Джеральдом Джей Сассманом. и Гай Стил, разработчики языка программирования схем.Теория языков программирования (PLT ) является отраслью информатики, который имеет дело с проектированием, реализацией, анализом, характеристикой и классификацией языков программирования и их индивидуальных функций. Это относится к дисциплине информатики, как зависящей от математики, программной инженерии, лингвистики и даже когнитивной науки, и влияя на нее. Это стало общепризнанной отраслью информатики и активной областью исследований, результаты которой опубликованы в многочисленных журналах, посвященных PLT, а также в общих публикациях по информатике и инженерии.
В некотором смысле история теории языков программирования предшествовали даже развитию самих языков программирования. лямбда-исчисление, разработанное Алонзо Черч и Стивеном Коулом Клини в 1930-х годах, некоторые считают, что это первый язык программирования в мире, хотя он и был предназначен для моделирования вычислений, а не для того, чтобы быть средством для программистов описания алгоритмов для компьютерной системы. Многие современные языки функционального программирования были описаны как обеспечивающие «тонкую оболочку» над лямбда-исчислением, и многие из них легко описываются в терминах этого.
Первым языком программирования, который был изобретен, был Plankalkül, который был разработан Конрадом Цузе в 1940-х годах, но не был широко известен до 1972 года (и не был реализован до 1998 года.). Первым широко известным и успешным языком программирования высокого уровня был Fortran, разработанный с 1954 по 1957 год группой исследователей IBM во главе с Джоном Бэкусом.. Успех FORTRAN привел к формированию комитета ученых для разработки «универсального» компьютерного языка; Результатом их усилий стал АЛГОЛ 58. Отдельно Джон Маккарти из Массачусетского технологического института разработал язык программирования Lisp (на основе лямбда-исчисления), первый язык с академическими корнями, который был успешным. Благодаря успеху этих первоначальных усилий языки программирования стали активной темой исследований в 1960-х годах и позже.
Некоторые другие ключевые события в истории теории языков программирования с тех пор:
Есть несколько полей исследования, которые либо лежат в рамках теории языков программирования, либо оказывают на нее глубокое влияние; многие из них в значительной степени пересекаются. Кроме того, PLT использует многие другие разделы математики, включая теорию вычислимости, теорию категорий и теорию множеств.
Формальная семантика - это формальная спецификация поведения компьютерных программ и языков программирования. Три распространенных подхода к описанию семантики или «значения» компьютерной программы: денотационная семантика, операционная семантика и аксиоматическая семантика.
Теория типов - это изучение систем типов ; которые являются «понятным синтаксическим методом для доказательства отсутствия определенного поведения программы путем классификации фраз по типам вычисляемых ими значений». Многие языки программирования различаются по характеристикам систем типов.
Анализ программы - это общая проблема исследования программы и определения ключевых характеристик (таких как отсутствие классов программных ошибок ). Преобразование программы - это процесс преобразования программы из одной формы (языка) в другую.
Сравнительный анализ языков программирования стремится классифицировать языки программирования на различные типы на основе их характеристик; широкие категории языков программирования часто известны как парадигмы программирования.
Метапрограммирование - это генерация программ высшего порядка, которые при выполнении создают программы (возможно, на другом языке или в подмножестве исходного языка) в результате.
Доменные языки - это языки, созданные для эффективного решения проблем в определенной части предметной области.
Компилятор теория - это теория написания компиляторов (или, в более общем смысле, переводчиков); программы, которые переводят программу, написанную на одном языке, в другую форму. Действия компилятора традиционно делятся на синтаксический анализ (сканирование и синтаксический анализ ), семантический анализ (определение того, что программа должна делать), оптимизация (улучшение производительность программы, определяемая некоторой метрикой; обычно скорость выполнения) и генерация кода (генерация и вывод эквивалентной программы на некотором целевом языке; часто набор инструкций ЦП).
Системы времени выполнения относятся к разработке языков программирования сред выполнения и их компонентов, включая виртуальные машины, сборка мусора и интерфейсы сторонних функций.
Конференции являются основным местом проведения исследований по языкам программирования. Наиболее известные конференции: Симпозиум по принципам языков программирования (POPL), Разработка и реализация языков программирования (PLDI), Международная конференция по функциональному программированию (ICFP), Международная конференция по объектно-ориентированному программированию, системам, языкам и приложениям (OOPSLA) и Международная конференция по архитектурной поддержке языков программирования и операционных систем (ASPLOS).
Известные журналы, публикующие исследования PLT, включают ACM Transactions on Programming Languages and Systems (TOPLAS), Journal of Functional Programming (JFP), Journal of Функциональное и логическое программирование и Высшие порядковые и символьные вычисления.
 | Викискладе есть материалы, связанные с теорией языка программирования. |
