Изучая Scala и сравнивая ее с C# складывается такое ощущение:
крупные компании (Microsoft) в основном вырабатывают общие для всех стандарты работы с асинхронностью (Task), базами данных (ORM, Linq),
строят промышленные фреймверки и интегрируют их между собой (MVC).
Плюсы очевидны - стандартизация и скорость разработки, хорошо проверенные и разработанные лучшими инженерами решения.
Пиши как вам сказали и особо не думай.
С другой стороны языки как Scala, кот. в большей степени развиваются силами сообществами, лишены такой возможности.
Можно ли считать, что ФП и теория категорий является тем веществом, которое позволяет разрабатывать и скрипляет библиотеки и решения на Scala ?
Обычно в языках всегда происходит борьба концепций и "стандартизация" библиотек/решений может быть только временной. В C# Microsoft-ориентированная экосистема, вот в Java ряд стандартов от Oracle игнорируется из-за неудачности (например logging), JavaEE в итоге проиграла в популярности Спрингу, а в настоящее время стало модным реактивное программирование. И не стоит смешивать концепции со стандартами/спецификациями, условно ФП с теорией категорий - это концепция, а иерархия тайпклассов в Cats - "стандарт", через который могут интегрироваться библиотеки. Scala побуждает к экспериментам, поэтому сегодня пишем библиотеки на Cats Effect, завтра на ZIO, а потом может и вообще откажемся от монад. Ну и не стоит забывать, что секта pure-FP на модерновых библиотеках в Scala все еще меньшинство, хоть и громкое (судя по результатам последнего опроса от Jetbrains
https://www.jetbrains.com/lp/devecosystem-2020/scala/).
