Языки программирования -- абстракция различных уровней глубины над машинным кодом, в примерной иерархии: assembler -> C/C++ -> Java/C# -> etc. Созданы для урощения на порядки разработки различного рода ПО. Чем более близкими к "железу" вещами оперирует программа, тем более низкоуровневый ЯП используется.
Такжы выбор языка обусловлен технологическим стеком инфраструктуры/проекта. Microsoft -> C#, MySQL; IBM -> Java, DB2. I hope you understand the essence..
Если на пальцах, то компьютер это иностранец понимающий свой язык, программа его язык, а программист переводчик с человеческого на компьютерный
HTML - язык разметки страниц