Языком программирования называется формальная знаковая система, которая используется при записи программ для ЭВМ. Они подчиняются различным правилам (лексическим, семантическим и синтаксическим), которые задают внешний облик программы и действия, которые необходимо выполнить компьютеру. Существует большое количество классов языков программирования, которые наиболее подходят для выбранной предметной области, есть даже откровенно шуточные. Они называются эзотерическими и не предназначены для практического применения. Например, есть языки, имеющие литературный синтаксис (Shakespeare, Chef), языки, созданные для затруднения написания кода (Malbolge, ALPACA) или обладающие нечеловеческой логикой – Var’aq (использует логику расы Клингонов из фильма “Star Trek”). И другие шуточные языки.Но, помимо шуточных существует большое количество профессиональных. Основным классом, который используется в данное время, являются объектно-ориентированные языки. Это высокий уровень, который предназначен для написания, как небольших программ, так и больших программных комплексов. Основные представители этого класса – Java, С#, C++, Ruby, Python.Также следует отметить логические языки программирования. Они основаны на парадигме автоматического доказательства теорем и основаны на теории математической логики. Самый известный язык логического программирования – Prolog. Он использует логику предикатов первого порядка.Несмотря на большое количество созданных языков, на их функциональные возможности, всегда необходимо правильно подходить к выбору средств для создания программных продуктов. Например, если необходимо реализовать клиент-серверное приложение, то, очевидно, для этого не подойдет логический язык. Поэтому необходимо выбирать именно тот, который наиболее подходит для решения поставленной задачи.