Язык компьютерного программирования - это средство, с помощью которого задача разбивается на составные части, которые затем помещаются в упорядоченный список инструкций для выполнения компьютером. Аду Лавлейс, английского математика 19-го века, часто называют первым компьютерным программистом. Лавлейс понял, что аналитическая машина, механический компьютер, предложенный английским математиком Чарльзом Бэббиджем, может быть использована для выполнения последовательности операций. Однако она не использовала язык программирования. Можно сказать, что ее первая программа была написана на машинном языке, то есть на непосредственных действиях, которые должна была выполнять машина. В большинстве современных программ программа пишется на некотором расстоянии от реальных электронных операций, которые должен выполнять компьютер.
Plankalkül (1944)
Начиная с 1936 года, немецкий инженер Конрад Цузе построил серию компьютеров, которые первыми использовали двоичный код. Цузе начал думать о том, как заставить свои компьютеры решать проблемы. Он разработал Plankalkül, который был назван первым полноценным языком программирования высокого уровня, то есть языком, который не зависит от типа компьютера. В отличие от языка ассемблера, языки программирования высокого уровня существуют на некотором удалении от языка, который машина фактически использует для выполнения программы. Plankalkül обладал необычной особенностью, заключавшейся в том, что его переменные были описаны в двумерной таблице. Цузе никогда не запускал Plankalkül на своих компьютерах. Первые программы Plankalkül были фактически запущены только в 1998 году.
FORTRAN (1957)
В 1954 году IBM представила компьютер 704, который был разработан для научных проектов. Джон Бэкус, математик из IBM, понял, что необходим новый язык, который был бы одновременно быстрым и больше походил бы на математику, чем на язык ассемблера. После трех лет работы Бэкус и его команда внедрили FORTRAN (перевод формул). У FORTRAN было несколько особенностей, которые обеспечили ему немедленный успех. К нему прилагалось руководство, это был первый язык программирования, который сделал это. Это также допускало комментарии в программе — то есть строки в коде, которые не были командами для выполнения, но которые могли содержать аннотации о том, что делала программа, что облегчало кому-то другому использование той же программы. FORTRAN прошел через множество последующих версий и стал ведущим языком программирования для науки.
ALGOL (1958-60)
Как и FORTRAN, ALGOL был алгоритмическим языком, то есть языком, предназначенным для выполнения математических вычислений. Группа ученых-компьютерщиков из Европы и Америки пришла к выводу, что необходим алгоритмический язык, который был бы машинно—независимым - в отличие от FORTRAN, который тогда работал только на компьютерах IBM. Результатом стал Международный алгебраический язык, позже названный ALGOL 58. Однако именно вторая версия ALGOL, ALGOL 60, содержала множество нововведений, использованных в последующих языках программирования. Бэкус и датский программист Питер Наур разработали грамматику для ALGOL 60 под названием Backus-Naur Form, которая легла в основу многих более поздних языков. ALGOL, также допускал рекурсивные процедуры, в которых процедура могла вызывать саму себя. Другим нововведением была блочная структура, в которой программа могла быть составлена из более мелких фрагментов, которые могли быть структурированы как целая программа. ALGOL, был очень влиятельным языком — как и его потомки, Си и Паскаль.
COBOL (1959)
В то время как FORTRAN и ALGOL использовались учеными и математиками, в 1959 году Мэри Хоуз, программист в Burroughs Corporation, определила потребность в языке программирования, предназначенном для бизнеса, который мог бы выполнять такие вещи, как ежемесячная выплата заработной платы и учет товарно-материальных запасов. Министерству обороны США было предложено спонсировать конференцию, на которой был бы разработан такой язык. Результатом стал COBOL, распространенный бизнес-ориентированный язык, представленный в 1960 году. COBOL был разработан таким образом, чтобы быть написанным больше как английский язык, чем FORTRAN и ALGOL. В нем была структура данных записей, в которой данные различных типов (такие как имя клиента, адрес, номер телефона и возраст) были сгруппированы вместе. COBOL получил широкое распространение благодаря бизнесу и правительству, и у него была удивительно долгая жизнь для языка, разработанного в начале 1960-х годов. Большая часть кризиса Y2K была связана с кодом, написанным на COBOL, и в 2017 году было подсчитано, что 95 процентов операций по картам в банкоматах все еще использовали этот язык.
BASIC (1964)
Джон Кемени и Томас Курц, два профессора математики в Дартмутском колледже, были убеждены, что студенты старших курсов должны научиться программировать компьютеры, но что FORTRAN и ALGOL слишком сложны. Кемени и Курц хотели создать язык, который позволил бы студенту сразу же написать рабочую программу. Они также разработали систему разделения времени, в которой несколько человек могли использовать терминалы для одновременного запуска программ на центральном компьютере. Разработанный ими язык, универсальный символьный код инструкций для начинающих (BASIC), был чрезвычайно прост; в первой версии было всего 14 команд. BASIC язык был быстро принят во всем Дартмуте. Популярность BASIC резко возросла с появлением персонального компьютера, который обычно включал в себя этот язык. Для многих молодых людей, впервые столкнувшихся с компьютерами в конце 1970-х и начале 80-х годов, BASIC был их первым языком.
C (1969-73)
C был создан в Bell Laboratories и развивался в течение нескольких лет. Bell Labs, Массачусетский технологический институт (MIT) и General Electric сотрудничали в проекте Multics по созданию операционной системы для компьютера с разделением времени. В Bell Labs проект Multics сочли слишком сложным, чтобы когда-либо быть успешным, и поэтому компания вышла из проекта в 1969 году. Однако из руин Multics возник Unix. Для Unix программист Кен Томпсон создал упрощенный язык программирования под названием B. Однако B не проводил различия между различными типами данных, такими как целые числа и символы. В 1971 году Деннис Ритчи добавил символьный тип к B и создал новый язык, который он кратко назвал “новый B”, а позже назвал C. К тому времени, когда C был в основном завершен в 1972 году, язык был настолько мощным и гибким, что на нем была написана большая часть операционной системы UNIX. Один из потомков языка Си, C++, стал одним из наиболее широко используемых языков программирования в мире.
