По вебу вообще сложно что-либо предугадывать даже на 5 лет вперед, не говоря уже о 20-30. Какими они будут эти web 4.0, 5.0...n.0 - вряд ли достоверно известно даже в Google и Microsoft.
Наиболее вероятное развитие - всё будет браузером. Операционная система - подобие браузера, и всё в облаках - софт в виде web-сервисов (подключаемых из аппстора на рабочем столе), данные в виртуальных хранилищах и т.д. Даже игры будут крутиться на серверах, а пользователю будет передаваться только "клиентская часть" в видеопотоке. При этом всё будет кроссплатформенным с минимальными требованиями к конфигурации устройства. Не важно, ПК у пользователя (обычный или квантовый), ноутбук, планшет, смартфон, шлем VR, телевизор и проч. - каждый будет иметь возможность оплатить доступ к какой-нибудь GTA 10 и зарубиться в неё на максималках.
Соответственно, привычные в 2000-х годах сайты на PHP также поменяют вид и преобразуются в SPA-приложения, подгружаемые на рабочий стол пользователя по клику в сторе.
Дело в том, что такая модель полностью убивает пиратство и дико выгодна коммерчески всей IT-индустрии, потому и считается наиболее вероятной. Уже прут первые потуги типа Chrome OS, перемены начнутся, когда выкатится браузерный Windows и ТОП-500 web-сервисов адаптируются под него, а затем и под версии от Google и Apple. Собственно, примерно то же произошло с мобильным рынком с появлением Android.
Вот только когда весь мир утонет с любого утюга и самовара в браузерах и на серверах, там уже понадобятся другие подходы в структурах данных, протоколах, базах, организации дата-центров, безопасности и т.д. А какими они будут..."сегодня в завтрашний день не все могут смотреть. Вернее, смотреть могут не только лишь все, мало кто может это делать" (с)
С теми же языками программирования холивары горят. Огромное количество специалистов бьют пяткой в грудь на тему "javascript захватит мир", не меньшее количество людей напротив уверены, что "этот ужасный язык - лишь временная и костыльная мера переходного периода, не способная заменить на сервере .NET или компилируемый Go, рвущий все топы".
Продолжение: