Это сложный вопрос. Если ты ожидаешь, что это конвертируется в IGedel в твоем коде, то я о таком не слышал. Впрочем, долгое время стандартная конструкция (ныне известные как "монады") оставались точно такой же высокоуровневой абстракцией теорката, пока не появился тот, кто показ как с их помощью внезапно решаются многие реальные проблемы, из чего и повырастали все современные тренды в этих ваших Скалах и смежных направлениях. Вполне возможно, что такой человек еще не взглянул под правильным углом и когда-нибудь это изменится. Но даже если нет, то она нужна потому что развивает в человеке чувство меры, абстраткное мышление и все то, без чего программист от Бога невообразим совершенно.

Бла-бла-бла, реальность — математическая философия не более, как и реальная философия, никогда особо не имела реального влияния на науки, разве что в начале, когда от неё все откололись

но это не означает, что без этого нельзя построить вполне себе хорошую карьеру и загребать бабло лопатой. можно.

Как прагматично для человека, который только что описывал важность абстрактного мышления

Это данность. Индустрия стоит на плечах людей, которые уже с импликацией испытывают сложности.

Прагматичность выражала в лишь твоём желании к заработку денег