а Он придёт и приведёт за собой весну
и рассеет серых туч войска... 🙏🙏🙏

Между прочим, сегодня также заброшенный и забытый День Науки (по советскому стилю).

"Что это мне даст на практике?" (c)

Ну например когда вы разрабатываете сложные распределённые аналитические системы, и после долгих мучений наконец-то интуитивно понимаете, что научились готовить их более-менее правильно, это означает, что на самом деле вы просто разобрались в теории абелевых групп.

А если взять базу гомотопической теории типов по структурным равенствам математических объектов, то окажется что F# и Java -- совершенно разные языки, а Java и Python -- разновидность одного и того же...

И дело даже не в том, что динамический/статический и слабый/сильный -- это ложная дихотомия. Даже если не использовать способы классификации из теории категорий, а рассуждать просто на уровне идиоматичности свойств языка, да и вообще любой технологии (на эту тему сейчас готовлю материал для СильныхИдей: извлекаем работающий смысл целого из смысла его частей), получим очень хорошую прикладную кластеризацию.

Ну и мои курсы по парадигмам программирования (вычислительные модели) -- это примерно то, что пояснял святой Роберт Харпер:
"What, if anything, is a programming paradigm?"
Это ровно про тоже: никакая не таксономия, а просто самые фундаментальные свойства, характерные различным стилям программирования.
Например, ООП -- это программирование с инкапсуляцией, явным состоянием и наследованием (и вполне можно обойтись без классов). Разбираемся в частности, почему и как полноценные объектно-ориентированные программы могут быть написаны практически на любом языке, и т.д.