Будет ли в будущем создан универсальный язык программирования?

Они давно созданы. Причем их много. Они имеют собирательное название "языки общего назначения". Из самых популярных ныне: C/C++, Java/Kotlin, Python... Список разумеется можно продолжать. Поскольку такие языки существуют давно, есть еще и масса языков вышедших из употребления в широкой разработке: Basic, Pascal, Algol... Другими словами это языки которые либо изначально создавались без привязки как к конкретной операционной системе так и к области задач. Или гораздо чаще переросли свою первоначальную область настолько что она перестала быть основной областью применения. Например C создавался как язык для реализации операционной системы Unix.

Теоретически на большинстве из них можно реализовать что угодно кроме задач безусловно требующих применения языка низкого уровня - Ассемблера. Но вот только удобство реализации разных задач на конкретном языке и эффективность полученных результатов будет разной. Хитрость в том что "языком высокого уровня" называется любой язык один оператор которого преобразуется в несколько инструкций процессора. Но несколько это сколько? Условно говоря может быть ну в среднем полсотни, а может быть несколько тысяч. Соответственно если у нас задачи с высокими требованиями к производительности или необходимостью работы напрямую с аппаратурой нам не обойтись без первых. А если это огромная сложная система да еще и будет регулярно и активно изменяться, ну например системы учета, то намного эффективнее вторые.

Но это даже не главное. В современном программировании язык в общем не так важен как наличие готовых решений, т.е. библиотек и фреймворков. А также опыт разработки задач такого рода, который выражен в паттернах и Best Practice. Наличие или отсутствие всего этого для конкретных задач и конкретного языка имеет больше исторические и коммерческие нежели технические причины. Ну если не брать совсем экстремальных случаев разработки систем на точно малоподходящих для этого инструментах.

Т.е. краткий ответ на вопрос. Теоретически - уже созданы давно и много таких языков. Если понимать уневерсальность в практической реальной разработке - я думаю скорее компьютер начнет понимать естественные человеческие языки в достаточной для вообще ненужности языков программирования степени. И не дай Бог чтобы когда-нибудь на планете был один естественный язык!

Я думаю, нет) 

Там где универсальность, там компромисс)

Есть телефон с камерой, но он не заменит профессионалу отдельной камеры и таких примеров можно привести много)

Всегда будут задачи, которые будут проще решаться на одном языке программирования, а какие то на другом) 

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

Не верю я в унификацию языков программирования, так как программистское сообщество практически никем не управляется, только на уровне компаний.