На начальной стадии развития ЭВМ человеку было необходимо составлять программы на языке, понятном компьютеру, в машинных кодах.любая программа для процессора выглядела  последовательность единиц и нулей.Как показала в дальнейшем  такой язык громоздок и неудобен. При пользовании им легко допустить ошибку, записав не в той последовательности 1 или 0.при программировании в машинных кодах надо хорошо знать внутреннюю структуру ЭВМ.программы на данном языке - очень длинные последовательности единиц и нулей являются машинно зависимыми, т.е. для каждой ЭВМ необходимо было составлять свою программу, а так же программирование в машинных кодах требует от программиста много времени, труда, повышенного внимания.
В 1950 году начали применять мнемонический язык – язык assembly.Ассемблер - язык программирования низкого уровня.Язык ассемблера позволил представить машинный код в более удобной для человека форме: для обозначения команд и объектов , вместо двоичных кодов использовались буквы или сокращенные слова, которые отражали суть команды.Например, на языке ассемблера команда сложения двух чисел обозначается словом add, тогда как ее машинный код может быть таким: 000010.
Но сложность разработки в нём больших программных комплексов привела к появлению языков третьего поколения – языков высокого уровня.
середины 50-х гг. XX в. начали создавать первые языки программирования высокого уровня. Эти языки не были привязаны к определенному типу ЭВМ (машинонезависимы). Для каждого из них были разработаны собственные компиляторы.
Первый язык высокого уровня Фортран был создан в период с 1954 по 1957 года группой программистов под руководством Джона Бэкуса в корпорации IBM. Он предназначался для научных и технических расчетов.В конце 1953 Джон Бэкус предложил начать разработку эффективной альтернативы ассемблеру для программирования на ПК IBM 704. Уже к середине 1954 была закончена черновая спецификация языка Fortran.К 1960 году существовали версии Fortran для компьютеров IBM 709, 650, 1620, 7090.В 1963 существовало более 40 компиляторов для разных платформ.
Язык программирования ALGOL 58.Алгол был разработан в 1958 году на недельной конференции в ETH.Новая версия появилась в 1960 г., и ALGOL 60 (с небольшими изменениями, сделанными в 1962 г.) с 60-х и до начала 70-х гг. прошлого века был стандартом академического языка программирования.В Алголе появилось представление о программе не как о свободной последовательности команд, а как о блочной структуре, состоящей из чётко описанных и отделённых друг от друга частей. Основной блок программы на Алголе – это сама главная программа.
Язык программирования LISP.Язык Лисп был предложен Дж. Маккарти в работе в 1960 году и ориентирован на разработку программ для решения задач не численного характера.На протяжении почти сорокалетней истории его существования появился ряд диалектов этого языка: Common LISP, Mac LISP, Inter LISP, Standard LISP и др.Различия между ними не носят принципиального характера и в основном сводятся к несколько отличающемуся набору встроенных функций и некоторой разнице в форме записи программ. Поэтому программист, научившийся работать на одном из них, без труда сможет освоить и любой другой.Большим достоинством Лиспа является его функциональная направленность, т. е. программирование ведется с помощью функций.
Язык программирования COBOL.Кобол был разработан в 1959 году и предназначался для написания программ для разработки бизнес приложений, а так же для работы в экономической сфере.Создатели языка ставили своей целью сделать его машинонезависимым и максимально приближенным к естественному английскому языку. Обе цели были успешно достигнуты; программы на COBOL считаются понятными даже неспециалистам, поскольку тексты на этом языке программирования не нуждаются в каких-либо специальных комментариях.COBOL – язык очень старый и в свое время использовался крайне активно, поэтому существует множество реализаций и диалектов. Для языка был утвержден ряд стандартов: в 1968, 1974, 1985 и 2002 годах. Последний стандарт добавил в язык поддержку объектно–ориентированной парадигмы.