История языков программирования началась с разработки машинного языка : языка логических нулей и единиц. Запись на этом языке была очень сложной и утомительной.

Поэтому в конце 40-х для облегчения работы первых программистов был создан язык ассемблер. Вместо двоичных цифр, обозначающих какую-то команду, писались короткие слова или аббревиатура. Программисты называют ассемблер языком программирования низкого уровня, поскольку он близок к машинному языку - языку программирования самого низкого уровня. Программы на ассемблере зависят от характеристик конкретного процессора, поэтому его называют машинно-ориентированным языком.

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

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

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

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

1. Компиляция (Compilation) - метод выполнения программы, при котором инструкции программы выполняются лишь тогда, когда собран перевод всего текста программы.
2. Интерпретация (Interpretation) - метод выполнения программы, при котором инструкции программы переводятся и сразу выполняются.

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

В 1954 году началась разработка первого компилятора языка высокого уровня. По прошествии 2-х лет был создан язык Fortran (от англ. FORmula TRANslator - Переводчик формул). В языке имелись средства, значительно упрощающие разработку, однако программирование на Fortran представляло собой задачу непростую : легко понимаемый в коротких программах, этот язык становился нечитаемым, когда дело касалось больших программ. Однако этот язык имел успех и было выпущено много его версий.

Проблема решилась после изобретения языков структурного программирования : появились программные блоки, независимые подпрограммы, поддержка рекурсии и локальных переменных, отсутствие оператора безусловного перехода (GoTo) - в общем, возможности разбиения программы на составляющие элементы.

В течение десятилетия было создано достаточно большое количество новых языков : Algol (1958) - для записи алгоритмов, составленных из обособленных блоков; Cobol (1959) - для массовой обработки данных в сферах управления и бизнеса; Basic (1965) - для написания простых программ, обучению азам программирования. Однако совсем немногие из них были структурированными. Также было создано много других специализированных языков : Lisp, Prolog, Forth, PL/1...

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

Очень успешным шагом стал появившийся в 1972 году язык C. Он сочетал в себе достижения многих языков, а также обладал большим количеством различных нововведений. Широкие возможности, структурированность, а также относительная простота изучения позволили ему быстро завоевать признание и стать одним из основных языков.

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

В 70-х были созданы основы нового Объектно-ориентированного программирования. ООП возникло в результате развития идеологии процедурного программирования, где данные и подпрограммы (процедуры, функции) их обработки формально не связаны. Основными понятиями ООП являются:

• Класс - модель ещё не существующего объекта. Фактически он описывает устройство объекта, являясь его схемой.
• Объект - экземпляр класса, сущность в адресном пространстве вычислительной системы, появляющаяся при создании экземпляра класса.
• Абстракция - придание объекту характеристик, которые чётко определяют его границы, отличая от всех других объектов. Основная идея состоит в том, чтобы отделить способ использования составных объектов данных от деталей их реализации в виде более простых объектов.
• Инкапсуляция - объединение свойств (данных) и методов (подрограмм) в классе с целью сокрытия данных объекта от остальной программы и обеспечения целостности и независимоти объекта. (изменять свойства объекта иожно только через специальные методы класса)
• Наследование - механизм языка, позволяющий описать новый класс на основе уже существующего класса (или классов) с добавлением новых свойств и методов.
• Полиморфизм - свойство системы использовать объекты с одинаковым интерфейсом без информации о типе и внутренней структуре объекта.

Первым языком программирования, в котором были предложены принципы объектной ориентированности, была Симула. В момент его появления в 1967 году в нём были предложены революционные идеи: объекты, классы, виртуальные методы и т.д., но это всё не было достойно оценено современниками. Тем не менее, большинство концепций были развиты Аланом Кэем и Дэном Ингаллсом в языке Smalltalk. Именно он стал первым широко распространённым объектно-ориентированным языком программирования.

В настоящее время количество прикладных языков программирования, реализующих объектно-ориентированную парадигму, является наибольшим по отношению к другим парадигмам. Основные языки, поддерживающие концепцию ООП : C++, C#, Object Pascal (Delphi), Java...

С появлением технологии World Wide Web (WWW) Интернет приобрел большую популярность. Было создано много вспомогательных языков для работы с Интернетом, оформления сайтов, доступа к ресурсам и т.д.

Повсеместно распространен интерпретируемый, простой и легко переносимый на другие платформы язык Perl. Он используется для написания различных по сложности приложений и CGI-скриптов. Значительную роль в развитии и функционировании Интернета играет язык Java.

В 70-х годах появился язык структурированных запросов SQL, созданный для доступа и манипуляций с базами данных.

Для написания основы страниц Web-сайтов используется HTML (Язык разметки гипертекстов). Он обладает всеми возможностями разметки и оформления текста, графики. Для большей привлекательности и функциональности сайта используются :