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

А вот, кстати, этот их Go, при всех закидонах и "гландах через одно место", как когда-то Ява, как раз отвечает объективным потребностям. Которые хорошо понятны любому, кто работает в сфере нагруженных серверных систем.
В общем, как только в области системного ПО прижимает новая большая нужда, индустрия, скрепя сердце, воспринимает очередные принципы из мира Паскалей - и тащит к себе, по пути заботливо заворачивая в свои фантики с побрякушками.