Если при использовании ZIO запихивать при создании зависимости в сервис то насколько норм такой код ?

for {
  env<- ZIO.access[MySeviceDependencies](d=>d)
 } yield new MyService(env)

for {
  env<- ZIO.access[MySeviceDependencies](d=>d)
 } yield new MyService(env)

ну так се

type MySeviceDependencies = Clock with Foo with Bar

?

А как лучше? Через flatmap? + можно ли избавиться от d=>d ?

нерелевантно, но там есть метод ZIO.environment

type MySeviceDependencies = Clock with Foo with Bar

Да

не, можно схавать весь энв целиком, но я бы написал
yield new MyService(
foo = env.get[Foo],
bar = env.get[Bar],
...
)

Спасиб, стыдно что не нашёл, буду исправляться

Но тут вопрос в том как это будет использоваться, если внутренняя реализация выражена через функцию, возвращающую ZIO[MySeviceDependencies,...], то проще одним махом сделать provide от одного поля типа MySeviceDependencies. Если же там в разных кусках используются разные части MySeviceDependencies  то лучше передавать по кусочкам. Я правильно понимаю? Или в любом случае лучше расщеплять на составляющие?

не понял про внутренюю реализацию

нужен код

если jdk11+ то можно посмотреть на https://github.com/http4s/http4s-jdk-http-client

спасибо

Допустим у меня есть такой код:

trait Service[F[_]]
trait Context[F[_]]
object Service {
  def of[F[_]](globalThing: GlobalThing[F]): (Service[F], Context[F])
}

То есть на каждый новый экземпляр Service[F] я хочу отдавать какой-то интерфейс, который относится к нему, но совершенно необязательно имеет подмножество его фукнциональнсости (напирмер Context[F] умеет удалять Service[F] из глобального хранилища в GlobalThing[F], про которое Service[F] сам ничего не знает).

Есть ли какие-то готовые способы это делать кроме как тупо возвращать два типа? Какие-то идеи у меня есть, но не хочу изобрести велосипед.

trait Service[F[_]]
trait Context[F[_]]
object Service {
  def of[F[_]](globalThing: GlobalThing[F]): (Service[F], Context[F])
}

Возвращать Service[F] with Context[F]?

чую, один контекст может идти в паре с разными сервисами

А он не наследник. Там в Context[F] может быть больше или другие методы.

Никита имеет в виду возвращать один объект, который оба имплементит