Какие существуют языки программирования?

Язык программирования — специальные языки на котором записывается «исходный текст» программы.

На заре вычислительной техники (1930-1950 годы) исходные тексты записывались в виде «машинного кода» (т.е. указания номеров инструкций и аргументов для них), позднее появился первый известный язык программирования «ASSEMBLER», который значительно упростил процесс создания программы, так как позволил указывать не числовой номер инструкции, а ее символьное обеспечение, что упростило чтение и отладку исходного теста программы. Последующее появление языков более «высокого уровня» чем «ASSEMBLER» позволило перевести создание программного обеспечения из удела технических специалистов обеспечивающих функционирование конкретных аппаратных комплексов в удел специалистов по созданию программного обеспечения именуемых далее «программистами» или «разработчиками программного обеспечения».

Учитывая большое количество языков программирования, перед специалистами встала задача их классификации.

Языки программирования можно разделить, по:

• назначению
• уровню абстракции

В зависимости от назначения языки делятся на: 

• языки общего назначения — позволяющие создавать самое разнообразное программное обеспечение. Например: C, C++, C#, Java.
• языки специального назначения — позволяющие решать круг специфических задач. Например: T-SQL, HTML, CSS.

• низкоуровневые — языки действующие в терминах максимально приближенных к аппаратной части вычислительной системы
• высокоуровневые  — языки абстрагирующие программиста от необходимости знать устройство вычислительной системы

Как правило текст на любом языке программирования состоит из операторов (некоторое действие которое должен выполнить компьютер), операндов (параметры для выполнения действия) и ключевых слов (слова позволяющие сгруппировать операторы таким образом что бы получить целостный текст программы). 
 
Как правило языки отличаются друг от друга по синтаксису (задающему конкретный вид операторов, операндов, ключевых слов) и семантике (задающей смысловую нагрузку для тех или иных синтаксических конструкций языка).
 
Для облегчения написания текстов на различных языках программирования были созданы специальные редакторы исходного текста и даже целые среды разработки программного обеспечения (IDE). 

Ссылки по теме: 

• wikipedia.org — статья «язык программирования» на портале Wikipedia.org
• ru.wikipedia.org — статья «интегрированная среда разработки» на портале Wikipedia.org