Категориально-петушанский хайп-пузырь уже почти полностью сдулся (а вместе с ним хаскель и прочее говно, якобы базирующееся на теоркате) и околомаетатические хипстерские выблядки мигрируют на новый, ещё более улюдошный хайп-пузырь - HoTT. То что с ним через 5-10 лет произойдёт то же самое, что и с предшественником вполне очевидно - это одна и та же петушиная культура для мамкиных модников. В этом смысле хотт-петушок ближе к жс-хипстерам, меняющих фреймворк каждые два месяца, чем к логике или математике. CS - это вообще отрасль состоящая целиком из анальной клоунады и натужного пердежа в лужу 24/7; за последние 40 лет все вещи, которые применялись в промышленном программировании созданы инженерами-прикладниками, а не компуктер сцайнс мочёными. Далее, переходим уже конкретно к IT. Хайп-пузыри Big Data и Data Science продолжают активно сдуваться. Выяснилось, что это псевдо-отрасли, к которым применяются обычные, общие для программирования методы, и выделение их как отдельных было выгодно только для маркетолухов, разжигающих хайп в 2016 и 2015 годах соответсвенно. Так же было выяснено, что проблемы из этих псевдо-отраслей надуманные и для 99,9% бизнеса вообще чуждые. Илитарным хайп-петухам сегодня приходиться держаться мёртвой хваткой за машмоб, для которых это святая святых. Вообще можно провести паралель хотт - машмоб - жс-хипстерство со смузи в старбаксах. Это всё один вид петухов, занимающихся не разработкой, а свечением своими ебальниками на конференциях и участия в наебательских стартапах. Серьёзных предпосылок к сдуванию машмоб-пузыря ближайшие 10 лет пока нет. Дело в том, что IT-рынок - это несовршенный корпоративистский пиздец, который driven by группой жырных пузырчатых говноконтор, чей пердёж настолько громкий, что тотально засырает всё инфопространство и как шторм сносит более мелкие конторы в нужном первым направлении. Но всё же сдувание произойдёт, потому как кризис этого говна - вообще переодическое явление, вызываемое тем, что возложенные на него ожидания не оправдываются, потом его откладывают в долгий ящик на лет 20, потом кто-то придумывает новый фундаментальный костыль и начинается очередная волна хайпа. Касательно языков. Мейнстримовые говна дают всем пасасать и уверенно показывают, что никуда уходить они не собираются и терять своих рабов тем более. Они стали модернизироваться куда чаще, добавляя множество фитч, которые в своё время "прозевали", существенно сокращая разрыв с немейнстримом высокими темпами. Достаточно грамотно в этом плане поступают мелкомягкие, постоянно вводя паралельно несколько веток экспериментальных языков и сливая более менее полезные вещи из них в сисярп. Главное тут, чтобы полезность "вещей" оценивалась самими разработчиками, а не коммитетскими пидорами, а то язык вскоре обрастёт тонной ненужных говен. Однако, гугель продемонстрировал всем в очередной раз, что со времён девяностых ничего особо не изменилось, и можно пропихнуть любое жалкое поделие с нуля достаточно глубоко, просто пердя в уши индустрии из всех щелей. Насчёт статика vs динамика. Очевидно, что преобладает и будет преобладать первая, так как мейнстрим весь статический. Правда в вебе статика традиционно просасывает, хоть и пытается просочится туда. Как бы там ни было, маняфантазии уебанов из первого параграфа, про покрытие мощными системами типов и ко-ко-коректностью всего и вся, ничего общего с реальностью не имеют, потому как статика уровня джявы большинство народа вполне устраивает. Смачный отсос хаскеля по всем фронтам только это доказывает. Думать, что если не взлетела полимфорная типизация 2го порядка, то взлетят завтипы - это полный ебанатизм. Это как думать, что если не взлетел пролог, то взлетит что-то на логике высших порядков которая, кстати говоря, выразительнее, чем ебёнаные завтипы лооол. Касательно динамики - участь её печальна. Но не совсем. Дело в том, что существует неформальное движение статикоскептиков, численость которых возрастает тем больше, чем больше статикобляди форсят свой статикодебилизм. В отличие от динамических петушков, которые стали ими вынужденно, из-за бедности нажравшись всякого там пехепе-говнеца, первые - вполне опытные программисты, писавшие в том числе и на статике, и сделавшие свой выбор вполне осознанно. Убежище для таких всегда было и будет в виде лиспов, ершлангов, эликсиров, фортов и прочего тому подобного.