Высказанная Ч. Бэббиджем еще в 20-х годах XIX века мысль о том, что для машины можно задать предварительно порядок действий (то есть по сути речь шла о программе) стала одной из самых революционных идей, которая в конечном итоге привела к созданию цифровых вычислительных машин. С этого момента и начинается история создания языков для программирования.
Самым значимым моментом в пока еще относительно непродолжительной, но насыщенной событиями и глобальными переменами истории языков программирования было создание системы, которая позволила осуществлять кодирование машинных команд посредством особых символов. Такую систему впервые разработал Джон Моучли, сотрудник Пенсильванского университета. Предложенная Моучли система кодирования заинтересовала сотрудницу его компании Грейс Хоппер, причем настолько, что она впоследствии посвятила компьютерам и программированию всю свою жизнь.
Компьютер научили общаться
На заре истории создания языков программирования единственным средством общения компьютера и человека был машинный код. Важнейшим достижением был тот факт, что создателям языков программирования удалось заставить компьютер переводить все эти языки на машинный код.
В 40-х годах, когда Грейс Хоппер еще только думала о работе под началом Джона Моучли, последний разработал систему Short Code. Это был уже язык программирования высокого уровня. Программист записывал задачу в виде определенных математических формул, а затем с помощью специальной таблицы переводил последовательно один символ за другим, преобразовывая формулы в двухлитерные коды. Далее специальная компьютерная программа, в свою очередь, преобразовывала их в двоичный машинный код.
В 1951 году на основе разработок своего шефа Хоппер впервые в мире создала компилятор и ввела данный термин. Компилятор Хоппер выполнял функцию объединения команд и в процессе трансляции организовывал особым образом подпрограммы, выделял память компьютера, преобразовывал команды высокого уровня (в то время это были псевдокоды) в машинные команды.
В середине 50-х появились языки программирования нового типа, которые стали выполнять роль посредника между программистом машиной. Первый (он получил наибольшее распространение) был Фортран. Первую версию этого языка разработала группа программистов фирмы IBM в 1954 году. В середине 60-х сотрудники Дартмутского колледжа Джон Кемени и Томас Курц создали специализированный язык BASIC, состоявший из самых простых слов английского языка.
В начале 60-х годов языки программирования высокого уровня можно было по пальцам перечесть, но прошло совсем немного времени, и их количество достигло трех тысяч. Предпринимались многие попытки преодолеть «разноголосицу» и создать универсальный язык. Первым удачным вариантом стал Programm Language One (PL/I). Затем появился ALGOL (ALGOrithmic Language — алгоритмический язык), предназначенный для записи алгоритмов. Представлявших собой последовательность процедур, которые применялись для решения определенных задач.
Развитие идеи ALGOL о структуризации алгоритмов получило наивысшее отражение в начале 70-х годов, когда разрабатывался язык Паскаль. История создания его отличается тем, что швейцарский ученый Никлаус Вирт изначально индивидуальный заказ мебели шкаф купе разрабатывал его исключительно как учебный. И он по сей день является одним из основных языков обучения программированию в школах и высших учебных заведениях.
Навести порядок в хаосе трансляторов и учредить комитет, который бы разработал один универсальный язык, решил Пентагон в 1975 году. Новый язык получил название АDА.
В истории языков программирования большое место принадлежит языку Си (1972), который стал очень популярным среди разработчиков систем ПО (включая ОС). История создания языка Си объединяет черты как машинно-ориентированного языка, так и языка высокого уровня, что открывает программисту допуск ко всем машинным ресурсам. Данную возможность не обеспечивали ни Бейсик, ни Паскаль.
Принципиально новое направление связано с методологиями (или, как еще говорят, парадигмами) так называемого непроцедурного программирования. К ним относятся также декларативное и объектно-ориентированное программирование. Объектно-ориентированный язык формирует окружение как множество независимых объектов, каждый из которых ведет себя, как отдельный компьютер. Эти объекты можно применять для решения задач в качестве неких «черных ящиков», не вникая в механизмы их функционирования. Среди профессионалов больше всех популярен Си++, а для более широкого круга предпочтительны Delphi и Visual Basic.