Если просеять хорошенько все обсуждения то можно выделить две кор фичи подхода F[_: Capabilities]
vs IO
1. Строгое ограничение возможностей единицы кода и их специфицирование.
2. Возможность подставить любой рантайм (IO, ZIO, Monix.Task) *
* мало кому нужно используется как маркетинговая уловка
Да, это понятно. Это вообще первое на что натыкаешься.
Вопрос чуток в другом.
Ну это как со спрингом например, читаешь доки, пробуешь все эти DI, AOP, аннотации, все вроде круто на пет проджекте и небольших проектах.
Приходишь в большой проект на спринге, а там ад и содомия... )
Вот очень хочется посмотреть среднекрупный проект с ТФ. Как там живется, где жмет, где болит...
Насколько удается сохранить чистоту подхода. А не так что "здесь так, вот тут так, а вот здесь мы рыбу заворчивали", как это обычно на спринг проектах бывает)