Язык программирования - Programming language

В исходный код для простой компьютерной программы, написанной на Язык программирования C. Когда составлен и пробег, это даст результат "Привет, мир! ".

А язык программирования это формальный язык включая набор инструкций которые производят различные виды выход. Языки программирования используются в компьютерное программирование реализовать алгоритмы.

Большинство языков программирования состоят из инструкции за компьютеры. Существуют программируемые машины, использующие набор конкретные инструкции, скорее, чем общие языки программирования. Ранние предшествовали изобретение цифрового компьютера, первым из которых, вероятно, был автоматический флейтист, описанный в 9 веке братья Муса в Багдад, вовремя Исламский золотой век.[1] С начала 1800-х годов для управления поведением машин, таких как Жаккардовые станки, музыкальные шкатулки и пианино.[2] Программы для этих машин (например, свитки пианино) не производили различного поведения в ответ на разные входные данные или условия.

Были созданы тысячи различных языков программирования, и с каждым годом создается все больше. Многие языки программирования написаны на императив форме (т.е. как последовательность операций, которые необходимо выполнить), в то время как другие языки используют декларативный форма (т.е. указывается желаемый результат, а не способ его достижения).

Описание языка программирования обычно делится на два компонента: синтаксис (форма) и семантика (смысл). Некоторые языки определены в документе спецификации (например, C язык программирования определяется ISO Стандартный), а другие языки (например, Perl ) иметь доминирующую выполнение это рассматривается как ссылка. В некоторых языках есть и то, и другое, при этом основной язык определяется стандартом, а расширения, взятые из доминирующей реализации, являются общими.

Определения

Язык программирования - это обозначение для написания программы, которые являются спецификациями вычисления или алгоритм.[3] Некоторые авторы ограничивают термин «язык программирования» теми языками, которые могут выражать все возможные алгоритмы.[3][4] Черты характера, которые часто считаются важными для того, что составляет язык программирования, включают:

Функция и цель
А язык компьютерного программирования это язык раньше писал компьютерные программы, который включает компьютер выполнение каких-то вычислений[5] или же алгоритм и, возможно, управлять внешними устройствами, такими как принтеры, Дисковый привод, роботы,[6] и так далее. Например, PostScript программы часто создаются другой программой для управления компьютерным принтером или дисплеем. В более общем плане язык программирования может описывать вычисления на некоторой, возможно, абстрактной машине. Принято считать, что полная спецификация языка программирования включает описание, возможно, идеализированное, машины или процессора для этого языка.[7] В большинстве практических контекстов язык программирования включает компьютер; следовательно, языки программирования обычно определяются и изучаются таким образом.[8] Языки программирования отличаются от естественные языки в этом естественные языки используются только для взаимодействия между людьми, в то время как языки программирования также позволяют людям передавать инструкции машинам.
Абстракции
Языки программирования обычно содержат абстракции для определения и управления структуры данных или контролировать поток исполнения. Практическая необходимость того, чтобы язык программирования поддерживал адекватные абстракции, выражается принцип абстракции.[9] Этот принцип иногда формулируется как рекомендация программисту правильно использовать такие абстракции.[10]
Выразительная сила
В теория вычислений классифицирует языки по вычислениям, которые они способны выразить. Все Тьюринг завершен языки могут реализовать тот же набор алгоритмы. ANSI / ISO SQL-92 и Благотворительность являются примерами языков, которые не являются полными по Тьюрингу, но часто называются языками программирования.[11][12]

Языки разметки подобно XML, HTML, или же Troff, которые определяют структурированные данные, обычно не считаются языками программирования.[13][14][15] Однако языки программирования могут разделять синтаксис с языками разметки, если определена вычислительная семантика. XSLT, например, это Тьюринг завершен язык полностью использует синтаксис XML.[16][17][18] Более того, Латекс, который в основном используется для структурирования документов, также содержит полное подмножество Тьюринга.[19][20]

Период, термин компьютерный язык иногда используется как синоним языка программирования.[21] Однако использование обоих терминов варьируется среди авторов, включая точную область применения каждого из них. Одно использование описывает языки программирования как подмножество компьютерных языков.[22] Точно так же языки, используемые в вычислениях, которые имеют иную цель, чем выражение компьютерных программ, обычно называются компьютерными языками. Например, языки разметки иногда называют компьютерными языками, чтобы подчеркнуть, что они не предназначены для использования в программировании.[23]

Другое использование рассматривает языки программирования как теоретические конструкции для программирования абстрактных машин, а компьютерные языки как их подмножество, которое работает на физических компьютерах, которые имеют ограниченные аппаратные ресурсы.[24] Джон С. Рейнольдс подчеркивает, что формальная спецификация языки являются такими же языками программирования, как и языки, предназначенные для исполнения. Он также утверждает, что текстовые и даже графические форматы ввода, которые влияют на поведение компьютера, являются языками программирования, несмотря на то, что они обычно не являются полными по Тьюрингу, и отмечает, что незнание концепций языка программирования является причиной многих недостатков форматов ввода.[25]

История

Основная статья: История языков программирования

Ранние разработки

Очень ранние компьютеры, такие как Колосс, были запрограммированы без помощи сохраненная программа путем изменения их схем или установки банков физических средств управления.

Чуть позже программы можно было писать на машинный язык, где программист записывает каждую инструкцию в числовой форме, которую оборудование может выполнить напрямую. Например, инструкция по сложению значения в двух ячейках памяти может состоять из трех чисел: «код операции», который выбирает операцию «сложение», и две ячейки памяти. Программы в десятичной или двоичной форме считывались из перфокарты, бумажная лента, магнитная лента или включили переключатели на Передняя панель компьютера. Машинные языки позже были названы языки программирования первого поколения (1GL).

Следующим шагом стала разработка так называемого языки программирования второго поколения (2GL) или языки ассемблера, которые все еще были тесно связаны с архитектура набора команд конкретного компьютера. Это сделало программу более удобочитаемой и избавило программиста от утомительных и подверженных ошибкам вычислений адресов.

Первый языки программирования высокого уровня, или же языки программирования третьего поколения (3GL), были написаны в 1950-х годах. Один из первых языков программирования высокого уровня, предназначенных для компьютеров, был Plankalkül, разработанный для немецких Z3 к Конрад Зузе между 1943 и 1945 годами. Однако он не был реализован до 1998 и 2000 годов.[26]

Джон Мочли с Короткий код, предложенный в 1949 году, был одним из первых языков высокого уровня, когда-либо разработанных для электронный компьютер.[27] В отличие от Машинный код, Операторы Short Code представляют собой математические выражения в понятной форме. Однако программу приходилось переводить в машинный код каждый раз при запуске, что делало процесс намного медленнее, чем выполнение эквивалентного машинного кода.

На Манчестерский университет, Алик Гленни развитый Автокодирование в начале 1950-х гг. Как язык программирования, он использовал компилятор для автоматического преобразования языка в машинный код. Первый код и компилятор были разработаны в 1952 году для Марка 1 компьютер в Университете Манчестера и считается первым составлен язык программирования высокого уровня.[28][29]

Второй автокод был разработан для Mark 1 компанией Р. А. Брукер в 1954 году и назывался «Автокод Марк 1». Брукер также разработал автокод для Ферранти Меркьюри в 1950-х годах совместно с Манчестерским университетом. Версия для EDSAC 2 был разработан Д. Ф. Хартли из Математическая лаборатория Кембриджского университета в 1961 году. Известный как EDSAC 2 Autocode, он был непосредственной разработкой Mercury Autocode, адаптированной к местным условиям, и был известен своей оптимизацией объектного кода и диагностикой исходного языка, которые были развиты в то время. Современная, но отдельная ветка развития, Атлас Автокод был разработан для Манчестерского университета Атлас 1 машина.

В 1954 г. FORTRAN был изобретен в IBM Джон Бэкус. Это был первый широко используемый язык программирования общего назначения высокого уровня иметь функциональную реализацию, а не просто дизайн на бумаге.[30][31] Это по-прежнему популярный язык для высокопроизводительные вычисления[32] и используется для программ, которые оценивают и оценивают мировые самые быстрые суперкомпьютеры.[33]

Другой ранний язык программирования был разработан Грейс Хоппер в США называется ПОТОК-MATIC. Он был разработан для UNIVAC I в Ремингтон Рэнд в период с 1955 по 1959 год. Хоппер обнаружила, что клиентам, занимающимся обработкой бизнес-данных, не нравится математическая запись, и в начале 1955 года она и ее команда написали спецификацию для английский язык программирования и реализовал прототип.[34] Компилятор FLOW-MATIC стал общедоступным в начале 1958 года и был практически завершен в 1959 году.[35] FLOW-MATIC оказал большое влияние на дизайн КОБОЛ, поскольку только он и его прямой потомок AIMACO фактически использовались в то время.[36]

Уточнение

Более широкое использование языков высокого уровня ввело требование языки программирования низкого уровня или же языки системного программирования. Эти языки в той или иной степени предоставляют возможности между языками ассемблера и языками высокого уровня. Их можно использовать для выполнения задач, требующих прямого доступа к аппаратным средствам, но при этом обеспечивающих структуры управления более высокого уровня и проверку ошибок.

Период с 1960-х до конца 1970-х годов принес развитие основных языковых парадигм, используемых сейчас:

Каждый из этих языков породил потомков, и большинство современных языков программирования считают по крайней мере один из них своим предком.

1960-е и 1970-е годы также стали свидетелями серьезных дискуссий по поводу достоинств структурное программирование и должны ли языки программирования разрабатываться для его поддержки.[39] Эдсгер Дейкстра в знаменитом письме 1968 г., опубликованном в Коммуникации ACM, утверждал, что Идти к операторы следует исключить из всех языков программирования "более высокого уровня".[40]

Консолидация и рост

Подборка учебников по программированию на популярных и малоизвестных языках. Это лишь некоторые из тысяч языков программирования и диалектов, которые были созданы в истории.

1980-е были годами относительной консолидации. C ++ комбинированное объектно-ориентированное и системное программирование. Правительство США стандартизировало Ада, язык системного программирования, производный от Паскаль и предназначен для использования подрядчиками оборонной промышленности. В Японии и других странах были потрачены огромные суммы на расследование так называемых языки "пятого поколения" которые включали конструкции логического программирования.[41] Сообщество функциональных языков перешло к стандартизации ML и Лисп. Вместо того, чтобы изобретать новые парадигмы, все эти движения развивали идеи, изобретенные в предыдущие десятилетия.

Одной из важных тенденций в разработке языков для программирования крупномасштабных систем в 1980-х годах было повышенное внимание к использованию модули или крупномасштабные организационные единицы кода. Модула-2, Ada и ML в 1980-х годах разработали известные модульные системы, которые часто были связаны с общее программирование конструкции.[42]

Быстрый рост Интернет в середине 1990-х годов открылись возможности для новых языков. Perl, первоначально инструмент сценариев Unix, впервые выпущенный в 1987 году, стал обычным явлением в динамических веб-сайты. Ява стали использоваться для программирования на стороне сервера, и виртуальные машины с байт-кодом снова стали популярными в коммерческих условиях благодаря обещанию "Напишите один раз, бегите куда угодно " (UCSD Паскаль был популярен какое-то время в начале 1980-х). Эти разработки не были принципиально новыми; скорее, они были уточнением многих существующих языков и парадигм (хотя их синтаксис часто был основан на семействе языков программирования C).

Развитие языков программирования продолжается как в промышленности, так и в исследованиях. Текущие направления включают проверку безопасности и надежности, новые виды модульности (миксины, делегаты, аспекты ) и интеграции с базами данных, например Microsoft LINQ.

Языки программирования четвертого поколения (4GL) - это языки компьютерного программирования, которые стремятся обеспечить более высокий уровень абстракции деталей внутреннего компьютерного оборудования, чем 3GL. Языки программирования пятого поколения (5GL) - это языки программирования, основанные на решении проблем с использованием ограничений, заданных программе, а не использования алгоритм написано программистом.

Элементы

Во всех языках программирования есть примитивный строительные блоки для описания данных и применяемых к ним процессов или преобразований (например, сложение двух чисел или выбор элемента из коллекции). Эти примитивы определяются синтаксическими и семантическими правилами, которые описывают их структуру и значение соответственно.

Синтаксис

Основная статья: Синтаксис (языки программирования)
Дерево синтаксического анализа из Код Python со вставкой токенизации
Подсветка синтаксиса часто используется для помощи программистам в распознавании элементов исходного кода. Язык выше Python.

Поверхностная форма языка программирования известна как его синтаксис. Большинство языков программирования являются чисто текстовыми; они используют последовательности текста, включая слова, числа и знаки препинания, во многом как письменные естественные языки. С другой стороны, есть некоторые языки программирования, которые более графический в природе, используя визуальные отношения между символами для определения программы.

Синтаксис языка описывает возможные комбинации символов, образующие синтаксически правильную программу. Значение, данное комбинации символов, обрабатывается семантикой (либо формальный или жестко закодированы в эталонная реализация ). Поскольку большинство языков являются текстовыми, в этой статье обсуждается текстовый синтаксис.

Синтаксис языка программирования обычно определяется с помощью комбинации обычные выражения (за лексический структура) и Форма Бэкуса – Наура (за грамматический структура). Ниже приводится простая грамматика, основанная на Лисп:

выражение ::= атом | листатом ::= номер | символ ::= [+ -]? ['0' - '9'] + символ ::= ['A' - 'Z''a' - 'z']. * Список ::= '(' выражение* ')'

В этой грамматике указывается следующее:

  • ан выражение является либо атом или список;
  • ан атом является либо номер или символ;
  • а номер представляет собой непрерывную последовательность из одной или нескольких десятичных цифр, которым может предшествовать знак плюс или минус;
  • а символ - буква, за которой следует ноль или более любых символов (за исключением пробелов); и
  • а список - это совпадающая пара круглых скобок с нулем или более выражения внутри него.

Ниже приведены примеры правильно сформированных последовательностей токенов в этой грамматике: 12345, () и (а б в232 (1)).

Не все синтаксически правильные программы семантически правильны. Многие синтаксически правильные программы, тем не менее, плохо сформированы в соответствии с правилами языка; и может (в зависимости от языковой спецификации и надежности реализации) привести к ошибке при переводе или выполнении. В некоторых случаях такие программы могут показывать неопределенное поведение. Даже если программа четко определена в языке, она может иметь значение, не предназначенное для ее написания.

С помощью естественный язык например, грамматически правильному предложению может быть невозможно присвоить значение, или предложение может быть ложным:

Следующее Язык C фрагмент синтаксически правильный, но выполняет операции, которые не определены семантически (операция * p >> 4 не имеет значения для значения сложного типа и п-> им не определено, потому что значение п это нулевой указатель ):

сложный *п = НОЛЬ;сложный abs_p = sqrt(*п >> 4 + п->я);

Если объявление типа в первой строке были опущены, программа выдает ошибку при неопределенной переменной «p» во время компиляции. Однако программа все равно будет синтаксически правильной, поскольку объявления типов предоставляют только семантическую информацию.

Грамматика, необходимая для определения языка программирования, может быть классифицирована по ее положению в Иерархия Хомского. Синтаксис большинства языков программирования можно указать с помощью грамматики Type-2, т. Е. Они контекстно-свободные грамматики.[43] Некоторые языки, включая Perl и Lisp, содержат конструкции, которые позволяют выполнение во время фазы синтаксического анализа. Языки, в которых есть конструкции, позволяющие программисту изменять поведение парсера, делают синтаксический анализ неразрешимая проблема, и обычно стирают различие между синтаксическим анализом и исполнением.[44] В отличие от Макросистема Лиспа и Perl НАЧИНАТЬ блоки, которые могут содержать общие вычисления, макросы C представляют собой просто замену строк и не требуют выполнения кода.[45]

Семантика

Период, термин семантика относится к значению языков, а не к их форме (синтаксис ).

Статическая семантика

Статическая семантика определяет ограничения на структуру действительных текстов, которые трудно или невозможно выразить в стандартных синтаксических формализмах.[3] Для скомпилированных языков статическая семантика по существу включает те семантические правила, которые можно проверить во время компиляции. Примеры включают проверку того, что каждый идентификатор объявляется до его использования (на языках, требующих таких деклараций) или что метки на руках заявление о случае различны.[46] Многие важные ограничения этого типа, такие как проверка того, что идентификаторы используются в соответствующем контексте (например, не добавление целого числа к имени функции) или что подпрограмма вызовы имеют соответствующее количество и тип аргументов, могут быть принудительно определены путем определения их как правил в логика называется система типов. Другие формы статический анализ подобно анализ потока данных также может быть частью статической семантики. Новые языки программирования, такие как Ява и C # имеют анализ определенного назначения, форма анализа потока данных как часть их статической семантики.

Динамическая семантика

Основная статья: Семантика языков программирования

После того, как данные были указаны, машина должна быть проинструктирована о выполнении операций с данными. Например, семантика может определять стратегия с помощью каких выражений оцениваются значения или каким образом управляющие структуры условно выполнить заявления. В динамическая семантика (также известен как семантика исполнения) языка определяет, как и когда различные конструкции языка должны вызывать поведение программы. Есть много способов определить семантику выполнения. Естественный язык часто используется для определения семантики выполнения языков, обычно используемых на практике. Значительный объем академических исследований был посвящен формальная семантика языков программирования, которые позволяют формально задавать семантику выполнения. Результаты этой области исследований нашли ограниченное применение в разработке и реализации языков программирования за пределами академических кругов.

Система типов

Основные статьи: Тип данных, Система типов, и Безопасность типов

Система типов определяет, как язык программирования классифицирует значения и выражения на типы, как он может управлять этими типами и как они взаимодействуют. Целью системы типов является проверка и обычно обеспечение определенного уровня корректности в программах, написанных на этом языке, путем обнаружения определенных некорректных операций. Любой разрешимый Система типов предполагает компромисс: хотя она отклоняет множество неправильных программ, она также может запрещать некоторые правильные, хотя и необычные программы. Чтобы обойти этот недостаток, в некоторых языках есть тип бойницы, обычно не отмечен бросает который может использоваться программистом для явного разрешения обычно запрещенных операций между разными типами. В большинстве типизированных языков система типов используется только для проверка типа программы, но ряд языков, обычно функциональных, вывести типы, избавляя программиста от необходимости писать аннотации типов. Формальный дизайн и исследование систем типов известны как теория типов.

Типизированные и нетипизированные языки

Язык напечатанный если спецификация каждой операции определяет типы данных, к которым эта операция применима.[47] Например, данные, представленные "этот текст между кавычками" это нить, и во многих языках программирования деление числа на строку не имеет значения и не будет выполняться. Недопустимая операция может быть обнаружена при компиляции программы («статическая» проверка типа) и будет отклонена компилятором с сообщением об ошибке компиляции, или она может быть обнаружена во время работы программы («динамическая» проверка типа), в результате во время выполнения исключение. Многие языки позволяют функции, называемой обработчиком исключений, обрабатывать это исключение и, например, всегда возвращать в качестве результата «-1».

Особым случаем типизированных языков являются однотипный языков. Часто это языки сценариев или разметки, такие как REXX или же SGML, и иметь только один тип данных[сомнительный – обсуждать]–– чаще всего символьные строки, которые используются как для символьных, так и для числовых данных.

Напротив, нетипизированный язык, например, большинство языки ассемблера, позволяет выполнять любую операцию с любыми данными, как правило, с последовательностями битов различной длины.[47] Нетипизированные языки высокого уровня включают BCPL, Tcl, и некоторые разновидности Четвертый.

На практике, хотя несколько языков считаются типизированными из теория типов (проверка или отклонение всех операций), большинство современных языков предлагают определенную степень набора текста.[47] Многие рабочие языки предоставляют средства для обхода или подрыва системы типов, торгуя безопасностью типов для более тонкого контроля над выполнением программы (см. Кастинг ).

Статическая и динамическая типизация

В статическая типизация, все выражения имеют свои типы, определенные до выполнения программы, обычно во время компиляции. Например, 1 и (2 + 2) - целочисленные выражения; они не могут быть переданы функции, которая ожидает строку, или сохранены в переменной, которая определена для хранения дат.[47]

Статически типизированные языки могут быть явно напечатанный или же предполагаемый тип. В первом случае программист должен явно писать типы в определенных текстовых позициях (например, в переменной декларации ). Во втором случае компилятор делает вывод типы выражений и объявлений на основе контекста. Наиболее распространенные языки со статической типизацией, такие как C ++, C # и Ява, явно типизированы. Полный вывод типов традиционно был связан с менее распространенными языками, такими как Haskell и ML. Однако многие явно типизированные языки поддерживают частичный вывод типов; Например, C ++, Ява и C # все типы логических выводов в определенных ограниченных случаях.[48] Кроме того, некоторые языки программирования позволяют автоматически преобразовывать одни типы в другие; например, int может использоваться там, где программа ожидает float.

Динамический набор текста, также называемый скрытая типизация, определяет безопасность типа операций во время выполнения; другими словами, типы связаны с значения времени выполнения скорее, чем текстовые выражения.[47] Как и в случае языков с предполагаемым типом, языки с динамической типизацией не требуют от программиста написания явных аннотаций типов к выражениям. Среди прочего, это может позволить одной переменной ссылаться на значения разных типов в разных точках выполнения программы. Однако введите ошибки не может быть автоматически обнаружен, пока фрагмент кода не будет фактически выполнен, что может привести к отладка труднее. Лисп, Болтовня, Perl, Python, JavaScript, и Рубин все являются примерами языков с динамической типизацией.

Слабая и сильная типизация

Слабая типизация позволяет рассматривать значение одного типа как другое, например, обрабатывая нить как число.[47] Иногда это может быть полезно, но также может позволить некоторым видам программных ошибок остаться незамеченными на время компиляции и даже в время выполнения.

Сильная типизация предотвращает эти программные ошибки. Попытка выполнить операцию с неверным типом значения вызывает ошибку.[47] Строго типизированные языки часто называют типобезопасный или же безопасный.

Альтернативное определение «слабо типизированное» относится к языкам, таким как Perl и JavaScript, которые допускают большое количество неявных преобразований типов. В JavaScript, например, выражение 2 * х неявно преобразует Икс в число, и это преобразование будет успешным, даже если Икс является ноль, неопределенный, Множество, или строку букв. Такие неявные преобразования часто полезны, но они могут маскировать ошибки программирования.Сильный и статический в настоящее время обычно считаются ортогональными концепциями, но их использование в литературе отличается. Некоторые используют термин строго типизированный значить строго, статически типизированный, или, что еще более сбивает с толку, просто означать статически типизированный. Таким образом C называется как строго типизированным, так и слабо статически типизированным.[49][50]

Некоторым профессиональным программистам может показаться странным, что C может быть «слабо статически типизирован». Однако обратите внимание, что использование универсального указателя пустота* указатель, позволяет приводить указатели к другим указателям без необходимости выполнять явное приведение. Это очень похоже на приведение массива байтов к любому типу данных в C без использования явного приведения, такого как (число) или же (символ).

Стандартная библиотека и система времени выполнения

Основная статья: Стандартная библиотека

У большинства языков программирования есть связанное ядро библиотека (иногда называемая «стандартной библиотекой», особенно если она включена как часть опубликованного языкового стандарта), которая обычно предоставляется всеми реализациями языка. Базовые библиотеки обычно включают определения для часто используемых алгоритмов, структур данных и механизмов ввода и вывода.

Граница между языком и его основной библиотекой различается от языка к языку. В некоторых случаях разработчики языка могут рассматривать библиотеку как отдельный объект от языка. Однако основная библиотека языка часто рассматривается пользователями как часть языка, а некоторые спецификации языка даже требуют, чтобы эта библиотека была доступна во всех реализациях. Действительно, некоторые языки спроектированы таким образом, что значения некоторых синтаксических конструкций невозможно даже описать, не обращаясь к основной библиотеке. Например, в Ява, строковый литерал определяется как экземпляр java.lang.String учебный класс; аналогично в Болтовня, анонимная функция выражение («блок») создает экземпляр библиотеки BlockContext учебный класс. Наоборот, Схема содержит несколько согласованных подмножеств, которых достаточно для построения остальной части языка в виде библиотечных макросов, и поэтому разработчики языка даже не утруждают себя вопросом, какие части языка должны быть реализованы как языковые конструкции, а какие - как части библиотеки. .

Дизайн и реализация

Языки программирования имеют общие свойства с естественными языками, связанные с их назначением как средств коммуникации, имеют синтаксическую форму, отдельную от своей семантики, и демонстрируют языковые семьи родственных языков, ветвящихся один от другого.[51][52] Но как искусственные конструкции они также фундаментально отличаются от языков, которые развились в результате использования. Существенное отличие состоит в том, что язык программирования можно полностью описать и изучить целиком, поскольку он имеет точное и конечное определение.[53] Напротив, естественные языки имеют изменяющиеся значения, данные их пользователями в разных сообществах. Пока сконструированные языки также являются искусственными языками, разработанными с нуля с определенной целью, им не хватает точного и полного семантического определения, которое есть в языке программирования.

Многие языки программирования были разработаны с нуля, изменены для удовлетворения новых потребностей и объединены с другими языками. Многие в конечном итоге вышли из употребления. Хотя были попытки разработать один «универсальный» язык программирования, который бы служил всем целям, все они не получили всеобщего признания как выполняющие эту роль.[54] Потребность в разнообразных языках программирования возникает из-за разнообразия контекстов, в которых используются языки:

  • Программы варьируются от крошечных скриптов, написанных отдельными любителями, до огромных систем, написанных сотнями программисты.
  • Программисты различаются по опыту: от новичков, которым важнее всего простота, до экспертов, которым может быть комфортно со значительной сложностью.
  • Программы должны сочетать скорость, размер и простоту в системах от микроконтроллеры к суперкомпьютеры.
  • Программы могут быть написаны один раз и не изменяться из поколения в поколение, или они могут подвергаться постоянным изменениям.
  • У программистов могут быть разные вкусы: они могут быть привыкли обсуждать проблемы и выражать их на определенном языке.

Одной из распространенных тенденций в разработке языков программирования было добавление дополнительных возможностей для решения задач с использованием более высокого уровня абстракция. Самые ранние языки программирования были очень тесно связаны с аппаратным обеспечением компьютера. По мере развития новых языков программирования были добавлены функции, позволяющие программистам выражать идеи, более далекие от простого перевода в базовые аппаратные инструкции. Поскольку программисты менее привязаны к сложности компьютера, их программы могут выполнять больше вычислений с меньшими усилиями со стороны программиста. Это позволяет им писать больше функций в единицу времени.[55]

Программирование на естественном языке был предложен как способ устранить необходимость в специализированном языке программирования. Однако эта цель остается далекой, и ее преимущества открыты для обсуждения. Эдсгер В. Дейкстра занял позицию, что использование формального языка необходимо для предотвращения введения бессмысленных конструкций, и отклонил программирование на естественном языке как "глупый".[56] Алан Перлис также отверг эту идею.[57] Гибридные подходы были приняты в Структурированный английский и SQL.

Разработчики и пользователи языка должны создать ряд артефактов, которые управляют и позволяют практиковать программирование. Самым важным из этих артефактов является язык Технические характеристики и выполнение.

Технические характеристики

Основная статья: Спецификация языка программирования

Спецификация языка программирования - это артефакт, который язык пользователи и исполнители можно использовать, чтобы договориться о том, исходный код действительный программа на этом языке, и если да, то каким будет его поведение.

Спецификация языка программирования может принимать несколько форм, включая следующие:

Выполнение

Основная статья: Реализация языка программирования

An выполнение языка программирования предоставляет способ писать программы на этом языке и выполнять их на одной или нескольких конфигурациях оборудования и программного обеспечения. В целом, существует два подхода к реализации языка программирования: сборник и интерпретация. Как правило, можно реализовать язык, используя любой из этих методов.

Выход компилятор может выполняться аппаратно или программой, называемой интерпретатором. В некоторых реализациях, использующих подход интерпретатора, нет четкой границы между компиляцией и интерпретацией. Например, некоторые реализации БАЗОВЫЙ скомпилировать, а затем выполнить исходный код построчно.

Программы, которые выполняются непосредственно на оборудовании, обычно работают намного быстрее, чем те, которые интерпретируются в программном обеспечении.[61][нужен лучший источник ]

Одним из методов повышения производительности интерпретируемых программ является своевременная компиляция. Здесь виртуальная машина непосредственно перед выполнением переводит блоки байт-код которые будут использоваться для машинного кода для прямого выполнения на оборудовании.

Собственные языки

Хотя большинство наиболее часто используемых языков программирования имеют полностью открытые спецификации и реализации, многие языки программирования существуют только как проприетарные языки программирования, реализация которых доступна только от одного поставщика, который может утверждать, что такой закрытый язык является их интеллектуальной собственностью. Проприетарные языки программирования обычно специфичные для домена языки или внутренний языки сценариев за единичный товар; некоторые проприетарные языки используются только внутри поставщика, в то время как другие доступны для внешних пользователей.

Некоторые языки программирования существуют на границе между закрытым и открытым; Например, Корпорация Oracle заявляет о правах собственности на некоторые аспекты Язык программирования Java,[62] и Microsoft с C # язык программирования, который имеет открытые реализации большинства частей системы, также имеет общеязыковая среда выполнения (CLR) как закрытая среда.[63]

Многие проприетарные языки широко используются, несмотря на их проприетарный характер; примеры включают MATLAB, VBScript, и Язык Wolfram Language. Некоторые языки могут перейти от закрытого к открытому; Например, Erlang изначально был внутренним языком программирования Эрикссон.[64]

Использовать

Были созданы тысячи различных языков программирования, в основном в области вычислений.[65]Отдельные программные проекты обычно используют пять или более языков программирования.[66]

Языки программирования отличаются от большинства других форм человеческого выражения тем, что требуют большей степени точности и полноты. При использовании естественного языка для общения с другими людьми авторы и носители-люди могут быть двусмысленными и допускать небольшие ошибки, но при этом ожидать, что их намерения будут поняты. Однако, образно говоря, компьютеры «делают именно то, что им говорят», и не могут «понять», какой код намеревался написать программист. Комбинация определения языка, программы и входных данных программы должна полностью определять внешнее поведение, которое происходит при выполнении программы в пределах области управления этой программой. С другой стороны, идеи об алгоритме могут быть переданы людям без точности, необходимой для выполнения, с помощью псевдокод, который чередует естественный язык с кодом, написанным на языке программирования.

Язык программирования предоставляет структурированный механизм для определения частей данных, а также операций или преобразований, которые могут выполняться автоматически с этими данными. А программист использует абстракции присутствует в языке для представления концепций, участвующих в вычислении. Эти концепции представлены в виде набора простейших доступных элементов (называемых примитивы ).[67] Программирование - это процесс, с помощью которого программисты комбинируют эти примитивы для создания новых программ или адаптации существующих к новому использованию или изменяющейся среде.

Программы для компьютера могут быть казнен в пакетный процесс без вмешательства человека, иначе пользователь мог бы ввести команды в интерактивная сессия из устный переводчик. В этом случае «команды» - это просто программы, выполнение которых связано друг с другом. Когда язык может запускать свои команды через интерпретатор (например, Оболочка Unix или другой Интерфейс командной строки ), без компиляции он называется язык сценариев.[68]

Измерение использования языка

Основная статья: Измерение популярности языков программирования

Определить, какой язык программирования является наиболее широко используемым, сложно, поскольку определение использования зависит от контекста. Один язык может занимать большее количество часов программиста, другой имеет больше строк кода, а третий может потреблять больше всего процессорного времени. Некоторые языки очень популярны для определенных типов приложений. Например, КОБОЛ по-прежнему сильна в корпоративном центре обработки данных, часто на крупных мэйнфреймы;[69][70] Фортран в научных и инженерных приложениях; Ада в аэрокосмической, транспортной, военной сфере, приложениях реального времени и встроенных приложениях; и C во встроенных приложениях и операционных системах. Другие языки регулярно используются для написания самых разных приложений.

Были предложены различные методы измерения популярности языка, каждый из которых имеет различную предвзятость по отношению к измеряемой величине:

  • подсчет количества объявлений о вакансиях, в которых упоминается язык[71]
  • количество проданных книг, которые учат или описывают язык[72]
  • оценки количества существующих строк кода, написанного на языке, что может недооценивать языки, которые не часто встречаются в общедоступных поисках[73]
  • количество языковых ссылок (т. е. названия языка), найденных с помощью поисковой системы.

Комбинируя и усредняя информацию с различных интернет-сайтов, stackify.com сообщил о десяти самых популярных языках программирования следующим образом (в порядке убывания общей популярности): Ява, C, C ++, Python, C #, JavaScript, VB .NET, р, PHP, и MATLAB.[74]

Диалекты, вкусы и реализации

А диалект языка программирования или язык обмена данными представляет собой (относительно небольшую) вариацию или расширение языка, не меняющее его внутренней природы. С такими языками, как Схема и Четвертый, стандарты могут быть сочтены разработчиками недостаточными, неадекватными или незаконными, поэтому часто они будут отклоняться от стандарта, создавая новый диалект. В других случаях диалект создается для использования в предметно-ориентированный язык, часто подмножество. в Лисп мир, большинство языков, использующих базовые S-выражение синтаксис и Lisp-подобная семантика считаются диалектами Lisp, хотя они сильно различаются, как, например, Ракетка и Clojure. Поскольку один язык обычно имеет несколько диалектов, неопытному программисту может быть довольно сложно найти нужную документацию. В BASIC язык программирования имеет много диалектов.

Бурный рост диалектов Форта привел к появлению поговорки: «Если вы видели один Форт ... вы видели один Далее ".

Таксономии

Дальнейшая информация: Категориальный список языков программирования

Для языков программирования нет всеобъемлющей схемы классификации. У данного языка программирования обычно нет единого языка-предка. Языки обычно возникают путем объединения элементов нескольких языков-предшественников с новыми идеями, циркулирующими в то время. Идеи, возникшие на одном языке, распространяются в семье родственных языков, а затем внезапно перепрыгивают через семейные разрывы и появляются в совершенно другой семье.

Задача усложняется еще и тем, что языки можно классифицировать по нескольким осям. Например, Java является как объектно-ориентированным языком (потому что он поощряет объектно-ориентированную организацию), так и параллельным языком (поскольку он содержит встроенные конструкции для запуска нескольких потоки в параллели). Python объектно-ориентированный язык сценариев.

В общих чертах языки программирования делятся на парадигмы программирования и классификация по предполагаемая область использования, с языки программирования общего назначения отличается от предметно-ориентированные языки программирования. Традиционно языки программирования рассматривались как описывающие вычисления в терминах императивных предложений, то есть выдачи команд. Их обычно называют императивное программирование языков. Большое количество исследований языков программирования было направлено на стирание различия между программой как набором инструкций и программой как утверждением о желаемом ответе, что является основной особенностью декларативное программирование.[75] Более совершенные парадигмы включают: процедурное программирование, объектно-ориентированного программирования, функциональное программирование, и логическое программирование; некоторые языки представляют собой гибриды парадигм или мультипарадигматические. An язык ассемблера это не столько парадигма, сколько прямая модель базовой машинной архитектуры. По назначению языки программирования могут считаться универсальными, языки системного программирования, скриптовые языки, предметно-ориентированные языки или параллельные / распределенные языки (или их комбинация).[76] Некоторые языки общего назначения были разработаны в основном с образовательными целями.[77]

Язык программирования также можно классифицировать по факторам, не связанным с парадигмой программирования. Например, большинство языков программирования используют английский язык ключевые слова, а меньшинство не. Другие языки могут быть классифицированы как намеренно эзотерический или нет.

Смотрите также

Рекомендации

  1. ^ Koetsier, Teun (май 2001 г.). «О предыстории программируемых машин; музыкальные автоматы, ткацкие станки, калькуляторы». Механизм и теория машин. 36 (5): 589–603. Дои:10.1016 / S0094-114X (01) 00005-2.
  2. ^ Эттингер, Джеймс (2004) Паутина Жаккарда, Oxford University Press
  3. ^ а б c Оби, Энтони (2004). Введение в языки программирования. Архивировано из оригинал 8 ноября 2012 г.. Получено 29 сентября 2012.
  4. ^ С математической точки зрения это означает, что язык программирования Полный по Тьюрингу МакЛеннан, Брюс Дж. (1987). Принципы языков программирования. Издательство Оксфордского университета. п. 1. ISBN  978-0-19-511306-8.
  5. ^ ACM СИГПЛАН (2003). «Устав Специальной группы по языкам программирования Ассоциации вычислительной техники». В архиве из оригинала от 22 июня 2006 г., «Сфера применения SIGPLAN - это теория, дизайн, реализация, описание и применение языков компьютерного программирования - языков, которые позволяют специфицировать множество различных вычислений, тем самым предоставляя пользователю значительный контроль (немедленный или отложенный) над компьютером операция ".
  6. ^ Дин, Том (2002). «Программирование роботов». Создание интеллектуальных роботов. Кафедра компьютерных наук Университета Брауна. В архиве из оригинала от 29 октября 2006 г.
  7. ^ Р. Нарасимахан, Языки программирования и компьютеры: унифицированная метатеория, стр. 189–247 в книге Франца Альт, Морриса Рубиноффа (ред.) «Достижения компьютеров», том 8, Academic Press, 1994, ISBN  0-12-012108-5, стр.193: «Полная спецификация языка программирования должна по определению включать в себя спецификацию процессора - если хотите, идеализированного - для этого языка». [источник цитирует множество ссылок в поддержку этого утверждения]
  8. ^ Бен Ари, Мордехай (1996). Понимание языков программирования. Джон Уайли и сыновья. Программы и языки можно определить как чисто формальные математические объекты. Однако больше людей интересуются программами, чем другими математическими объектами, такими как группы, именно потому, что можно использовать программу - последовательность символов - для управления работой компьютера. Хотя мы настоятельно рекомендуем изучать теорию программирования, этот текст, как правило, ограничивается изучением программ, выполняемых на компьютере.
  9. ^ Дэвид А. Шмидт, Структура типизированных языков программирования, MIT Press, 1994, ISBN  0-262-19349-3, п. 32
  10. ^ Пирс, Бенджамин (2002). Типы и языки программирования. MIT Press. п.339. ISBN  978-0-262-16209-8.
  11. ^ Корпорация цифрового оборудования. «Информационные технологии - язык баз данных SQL (предлагаемый пересмотренный текст DIS 9075)». ISO / IEC 9075: 1992, Язык баз данных SQL. В архиве из оригинала 21 июня 2006 г.. Получено 29 июн 2006.
  12. ^ Группа развития благотворительности (декабрь 1996 г.). "Домашняя страница БЛАГОТВОРИТЕЛЬНОСТИ". В архиве из оригинала 18 июля 2006 г., «Charity - это категориальный язык программирования ...», «Все вычисления Charity прекращаются».
  13. ^ XML в 10 баллах В архиве 6 сентября 2009 г. Wayback Machine W3C, 1999, «XML - это не язык программирования».
  14. ^ Пауэлл, Томас (2003). HTML и XHTML: полная справка. Макгроу-Хилл. п. 25. ISBN  978-0-07-222942-4. HTML - это не язык программирования.
  15. ^ Дайкс, Люсинда; Титтель, Эд (2005). XML для чайников (4-е изд.). Вайли. п.20. ISBN  978-0-7645-8845-7. ... это язык разметки, а не язык программирования.
  16. ^ "Что за язык XSLT?". IBM.com. 20 апреля 2005 г. В архиве из оригинала 11 мая 2011 г.
  17. ^ «XSLT - это язык программирования». Msdn.microsoft.com. В архиве из оригинала от 3 февраля 2011 г.. Получено 3 декабря 2010.
  18. ^ Скотт, Майкл (2006). Прагматика языка программирования. Морган Кауфманн. п.802. ISBN  978-0-12-633951-2. XSLT, хотя и в высокой степени специализируется на преобразовании XML, представляет собой полный по Тьюрингу язык программирования.
  19. ^ Этикер, Тобиас; Партль, Юбер; Хайна, Ирэн; Шлегль, Элизабет (20 июня 2016 г.). «Не очень краткое введение в LATEX 2ε» (Версия 5.06). tobi.oetiker.ch. С. 1–157. В архиве (PDF) из оригинала 14 марта 2017 г.
  20. ^ Сиропулос, Апостолос; Антонис Цоломитис; Ник Софрониу (2003). Цифровая типографика с использованием LaTeX. Springer-Verlag. п.213. ISBN  978-0-387-95217-8. TeX - это не только отличный инструмент для набора текста, но и настоящий язык программирования.
  21. ^ Роберт А. Эдмундс, Стандартный глоссарий компьютерной терминологии Прентис-Холла, Прентис-Холл, 1985, с. 91
  22. ^ Паскаль Ландо, Анн Лапужад, Жиль Кассель и Фредерик Фюрст, К общей онтологии компьютерных программ В архиве 7 июля 2015 г. Wayback Machine, ICSOFT 2007 В архиве 27 апреля 2010 г. Wayback Machine, стр. 163–170
  23. ^ С.К. Баджпай, Введение в компьютеры и программирование на C, New Age International, 2007 г., ISBN  81-224-1379-Х, п. 346
  24. ^ Р. Нарасимахан, Языки программирования и компьютеры: унифицированная метатеория, стр. 189–247 в книге Франца Альт, Морриса Рубиноффа (ред.) «Достижения компьютеров», том 8, Academic Press, 1994, ISBN  0-12-012108-5, стр.215: «[...] модель [...] компьютерных языков отличается от модели [...] языков программирования только в двух отношениях. В компьютерном языке существует лишь конечное число имен - или регистры, которые могут принимать только конечное число значений или состояний, и эти состояния не различаются в дальнейшем с точки зрения каких-либо других атрибутов. [сноска автора:] Это может звучать как трюизм, но его последствия имеют далеко идущие последствия. Например, это будет подразумевают, что любую модель для языков программирования, фиксируя определенные ее параметры или особенности, следует естественным образом свести к модели для компьютерных языков ".
  25. ^ Джон С. Рейнольдс, «Некоторые мысли об обучении программированию и языкам программирования», СИГПЛАН Уведомления, Том 43, Выпуск 11, ноябрь 2008 г., стр.109
  26. ^ Рохас, Рауль, и другие. (2000). «Планкалкюль: первый язык программирования высокого уровня и его реализация». Institut für Informatik, Freie Universität Berlin, Технический отчет B-3/2000. (полный текст) В архиве 18 октября 2014 г. Wayback Machine
  27. ^ Себеста У.С. Концепции языков программирования. 2006; M6 14:18 с.44. ISBN  0-321-33025-0
  28. ^ Knuth, Donald E .; Пардо, Луис Трабб. «Раннее развитие языков программирования». Энциклопедия компьютерных наук и технологий. 7: 419–493.
  29. ^ Питер Дж. Бентли (2012). Оцифровано: наука о компьютерах и как они влияют на наш мир. Издательство Оксфордского университета. п. 87. ISBN  9780199693795. В архиве с оригинала от 29 августа 2016 г.
  30. ^ «Умер создатель Fortran Джон Бэкус - Технология и гаджеты». NBC News. 20 марта 2007 г.. Получено 25 апреля 2010.
  31. ^ "CSC-302 99S: Класс 02: Краткая история языков программирования". Math.grin.edu. В архиве из оригинала 15 июля 2010 г.. Получено 25 апреля 2010.
  32. ^ Юджин Ло (18 июня 2010 г.). «Идеальный язык программирования HPC». Очередь. 8 (6). В архиве из оригинала от 4 марта 2016 г.
  33. ^ «HPL - портативная реализация высокопроизводительного теста Linpack для компьютеров с распределенной памятью». В архиве из оригинала 15 февраля 2015 г.. Получено 21 февраля 2015.
  34. ^ Хоппер (1978) стр. 16.
  35. ^ Саммет (1969) стр. 316
  36. ^ Саммет (1978) стр. 204.
  37. ^ Ричард Л. Вексельблат: История языков программирования, Academic Press, 1981, глава XIV.
  38. ^ Франсуа Лабель. «График использования языка программирования». SourceForge. В архиве из оригинала 17 июня 2006 г.. Получено 21 июн 2006.. В этом сравнении анализируются тенденции в количестве проектов, размещенных в популярном репозитории программного обеспечения сообщества. В течение большинства лет сравнения C со значительным отрывом лидирует; в 2006 году Java обгоняет C, но комбинация C / C ++ по-прежнему значительно лидирует.
  39. ^ Хейс, Брайан (2006). «Войны с запятой». Американский ученый. 94 (4): 299–303. Дои:10.1511/2006.60.299.
  40. ^ Дейкстра, Эдсгер В. (Март 1968 г.). «Перейти к заявлению, которое считается вредным» (PDF). Коммуникации ACM. 11 (3): 147–148. Дои:10.1145/362929.362947. S2CID  17469809. В архиве (PDF) из оригинала от 13 мая 2014 г.
  41. ^ Тетсуро Фудзисе, Такаши Чикаяма, Кадзуаки Рокусава, Акихико Накасэ (декабрь 1994 г.). «KLIC: переносимая реализация KL1» Proc. ФГКС '94, ICOT Токио, декабрь 1994 г. «Архивная копия». Архивировано из оригинал 25 сентября 2006 г.. Получено 9 октября 2006.CS1 maint: заархивированная копия как заголовок (связь) KLIC - это переносимая реализация языка параллельного логического программирования. KL1.
  42. ^ Джим Бендер (15 марта 2004 г.). «Мини-библиография по модулям для языков функционального программирования». ReadScheme.org. В архиве из оригинала от 24 сентября 2006 г.
  43. ^ Майкл Сипсер (1996). Введение в теорию вычислений. PWS Publishing. ISBN  978-0-534-94728-6. Раздел 2.2: Автоматические выталкиватели, стр.101–114.
  44. ^ Джеффри Кеглер "Perl и неразрешимость В архиве 17 августа 2009 г. Wayback Machine ", Обзор Perl. Документы 2 и 3 доказывают, используя соответственно Теорема Райса и прямое сокращение до проблема остановки, что анализ Perl-программ вообще неразрешим.
  45. ^ Марти Холл, 1995 год, Конспект лекции: макросы В архиве 6 августа 2013 г. Wayback Machine, PostScript версия В архиве 17 августа 2000 г. Wayback Machine
  46. ^ Майкл Ли Скотт, Прагматика языка программирования, Издание 2, Морган Кауфманн, 2006 г., ISBN  0-12-633951-1, п. 18–19
  47. ^ а б c d е ж грамм Эндрю Кук. «Введение в компьютерные языки». В архиве из оригинала 15 августа 2012 г.. Получено 13 июля 2012.
  48. ^ В частности, экземпляры общий типы выводятся для определенных форм выражения. Вывод типов в Generic Java - исследовательском языке, который лег в основу ограниченных возможностей Java 1.5. параметрический полиморфизм extension - обсуждается в двух неофициальных рукописях из списка рассылки Types: Вывод универсального типа Java неверен В архиве 29 января 2007 г. Wayback Machine (Алан Джеффри, 17 декабря 2001 г.) и Звуковой вывод общего типа Java В архиве 29 января 2007 г. Wayback Machine (Мартин Одерский, 15 января 2002 г.). Система типов C # похожа на систему Java и использует аналогичную схему частичного вывода типов.
  49. ^ «Пересмотренный отчет по алгоритмической языковой схеме». 20 февраля 1998 г. В архиве из оригинала 14 июля 2006 г.
  50. ^ Лука Карделли и Питер Вегнер. «О понимании типов, абстракции данных и полиморфизма». Рукопись (1985). В архиве с оригинала от 19 июня 2006 г.
  51. ^ Стивен Р. Фишер, История языка, Reaktion Books, 2003, ISBN  1-86189-080-X, п. 205
  52. ^ Эрик Левенес (2011). «История компьютерных языков». В архиве из оригинала от 7 января 2006 г.
  53. ^ Цзин Хуан. «Искусственный язык против естественного языка». В архиве из оригинала от 3 сентября 2009 г.
  54. ^ IBM, впервые опубликовав PL / I, например, довольно амбициозно назвала свое руководство Универсальный язык программирования PL / I (Библиотека IBM; 1966). Название отражает цели IBM в отношении неограниченных возможностей создания подмножеств: «PL / I разработан таким образом, чтобы можно было изолировать от него подмножества, удовлетворяя требованиям конкретных приложений». («ПЛ / И». Энциклопедия математики. В архиве из оригинала 26 апреля 2012 г.. Получено 29 июн 2006.). Ада и UNCOL имел похожие ранние цели.
  55. ^ Фредерик П. Брукс-младший: Мифический человеко-месяц, Addison-Wesley, 1982, стр. 93–94.
  56. ^ Дейкстра, Эдсгер В. О глупости «программирования на естественном языке». В архиве 20 января 2008 г. Wayback Machine EWD667.
  57. ^ Перлис, Алан (сентябрь 1982 г.). «Эпиграммы по программированию». Уведомления SIGPLAN Vol. 17, №9. С. 7–13. В архиве из оригинала 17 января 1999 г.
  58. ^ Милнер, Р.; М. Тофте; Р. Харпер; Д. Маккуин (1997). Определение Standard ML (пересмотренное). MIT Press. ISBN  978-0-262-63181-5.
  59. ^ Келси, Ричард; Уильям Клингер; Джонатан Рис (февраль 1998 г.). «Раздел 7.2 Формальная семантика». Пересмотрено5 Отчет по алгоритмической языковой схеме. В архиве из оригинала от 6 июля 2006 г.
  60. ^ ANSI - Язык программирования Rexx, X3-274.1996
  61. ^ Стив, МакКоннелл (2004). Код завершен (Второе изд.). Редмонд, Вашингтон. стр.590, 600. ISBN  0735619670. OCLC  54974573.
  62. ^ Видеть: Oracle America, Inc. против Google, Inc.
  63. ^ "Руководство по языкам программирования | ComputerScience.org". ComputerScience.org. Получено 13 мая 2018.
  64. ^ "Основы". ibm.com. 10 мая 2011. Получено 13 мая 2018.
  65. ^ «HOPL: интерактивный реестр языков программирования». Австралия: Университет Мердока. Архивировано из оригинал 20 февраля 2011 г.. Получено 1 июня 2009. На этом сайте перечислены 8512 языков.
  66. ^ Майер, Филип; Бауэр, Александр (2015). Эмпирический анализ использования нескольких языков программирования в проектах с открытым исходным кодом.. Труды 19-й Международной конференции по оценке и оценке в программной инженерии - EASE '15. Нью-Йорк, Нью-Йорк, США: ACM. С. 4: 1–4: 10. Дои:10.1145/2745802.2745805. ISBN  978-1-4503-3350-4. Результаты: мы обнаружили (а) в среднем 5 языков на проект с явно доминирующим основным языком общего назначения и 5 часто используемых типов DSL, (б) значительное влияние на размер, количество коммитов и основной язык. на количество языков, а также на отсутствие значительного влияния возраста и количества участников, и (c) три языковые экосистемы, сгруппированные вокруг XML, Shell / Make и HTML / CSS. Выводы. Многоязычное программирование, по-видимому, является обычным явлением в проектах с открытым исходным кодом и является фактором, который необходимо учитывать при разработке инструментов и при оценке разработки и сопровождения таких программных систем.
  67. ^ Абельсон, Сассман и Сассман. «Структура и интерпретация компьютерных программ». Архивировано из оригинал 26 февраля 2009 г.. Получено 3 марта 2009.CS1 maint: несколько имен: список авторов (связь)
  68. ^ Браун Вики (1999). «Языки сценариев». mactech.com. В архиве из оригинала от 2 декабря 2017 года.
  69. ^ Джорджина Свон (21 сентября 2009 г.). «COBOL исполняется 50 лет». computerworld.com.au. В архиве из оригинала 19 октября 2013 г.. Получено 19 октября 2013.
  70. ^ Эд Эйри (3 мая 2012 г.). «7 мифов о COBOL развенчаны». developer.com. В архиве из оригинала 19 октября 2013 г.. Получено 19 октября 2013.
  71. ^ Николас Энтикнап. «Еженедельный опрос ИТ-зарплат по протоколу SSL / Computer: финансовый бум стимулирует рост рабочих мест в ИТ». Computer Weekly. В архиве из оригинала 26 октября 2011 г.. Получено 14 июн 2013.
  72. ^ «Подсчет языков программирования по продажам книг». Radar.oreilly.com. 2 августа 2006 г. Архивировано с оригинал 17 мая 2008 г.
  73. ^ Bieman, J.M .; Мердок В., Поиск кода во всемирной паутине: предварительное расследование, Первый международный семинар IEEE по анализу исходного кода и манипуляции с ним, 2001 г.
  74. ^ «Самые популярные и влиятельные языки программирования 2018 года». stackify.com. 18 декабря 2017 г.. Получено 29 августа 2018.
  75. ^ Карл А. Гюнтер, Семантика языков программирования: структуры и методы, MIT Press, 1992, ISBN  0-262-57095-5, п. 1
  76. ^ «НАСТРОЙКИ: Языки программирования». В архиве из оригинала от 20 октября 2007 г.
  77. ^ Вирт, Никлаус (1993). «Воспоминания о развитии Паскаля». Вторая конференция ACM SIGPLAN по истории языков программирования - HOPL-II. Proc. 2-я конференция ACM SIGPLAN по истории языков программирования. 28. С. 333–342. CiteSeerX  10.1.1.475.6989. Дои:10.1145/154766.155378. ISBN  978-0-89791-570-0. S2CID  9783524.

дальнейшее чтение

Смотрите также: История языков программирования § Дополнительная литература

внешняя ссылка