Расскажи свою историю, когда тебе понадобилось на практике применять "parametric reasoning" на уровне эффектов?

Я в курсе что это такое, у меня скальный проект на ТФе

Хаскеллисты не любят тф?

не, с ними споры оч своеобразные, либо вы спорите абсолютно формально с папирами, либо никак

любят

Пока что сильных "неформальных" аргументов не было, так что я даже не знаю как лучше

И оптимизировать фри

небольшая группа хаскелистов

ну ты свой кейс не изложил ясно, пропускаешь пару шагов, в итоге непонятно, что не устраивает

давай возьмем какой-нибудь common ground

например, дегуза здесь какого-нибудь https://degoes.net/articles/tagless-horror

ты пальцем ткни, что не так

ну кроме аргументов дегуза

афк

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

class SomeDomainService[F[_]: Monad](repo: SomeRepoAlg[F], sender: SomeSenderAlg[F])

можно точно сказать, что класс максимум что сделает — возьмет данные из репо (репо и сендеры — такие же языки как  и монадка в баунде, можно было бы туда же, но мы их явно передаем) и отправит сендером куда-то

class SomeDomainService(repo: SomeRepo, sender: SomeSender) — как ухудшился ризонинг?

Расскажи свою историю, когда тебе понадобилось на пректике проверять типы

Чо ты душишь антона

Никита

Меня подуши