Спасибо!
Как то я проглядел пример этот... (

Хм.. На тему Request Context имелось ввиду http request какой-нибудь?

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

Идею понял

Спасибо

Спасибо за развернутый ответ

сомнительная рекомендация немного

если у меня есть какой-то контекст запроса, и он как-то цепляется референсами за куски исходного байтбуфера с телом или мапок с парсингами, он может удерживать увесистую структуру от ГЦ
этот параметр передаётся внутри какого-то Has в очередную операцию, но дальше при композиции с последующими операциями, даже если они уже не требуют его в контексте, на самом деле не уходит оттуда,
в результате если у вас запросы запускают какие-то долгоживущие операции всё, что вы так ненадолго сложили в качестве доп-контекста в Has остаётся как кусок энваройнмента во всех файберах, порожденных этим вызовом

т.е. если сравнить с имплиситом

сигнатура

(implicit foo: Foo)

vs

[... with Has[Foo]]

использование

foo

vs

ZIO.access(_.get[Foo])

передача

bar(...)(foo)

vs

bar(...).provideSome(_ add foo)

согласен, это надо учитывать
в моем случае удерживать части исходного байтбуффера не подразумевалось, я там имел в виду скорее что-то уровня "trace id" или набор feature flags — эта информация нужна в том числе и в форкнутых файберах (который, впрочем, довольно часто и нет)

но теперь стало интересно, как научить zio "очищать" env от ненужных Has автоматически

и переданный таким образом контекст всегда будет погружать операции в URIO как минимум

т.е. нельзя будет в чистой функции использовать foo

@jey_lee @kai_neko JDG же отстаивает позицию, что ТФ должен иметь форму [-_, +_,+_],
т.е. есть какие-то реальные кейсы, где локальный контекст операций полезен, что-нибудь можете привести?

ну логгер например

какой-то MDC-like?

или еще что-то очень локальное, например контекстно-зависимый таглесс-интерпретер

Ну логстейжевский контекст логгер например xxx.provide(log.withCustomContext("userId" -> userId))

т.е. в качестве R в таких операциях предполагается использовать не Has, который смешается с основным, а просто какое-то данные на одноразовый provide?

Не, с поправкой на Has канеш

Has полезный