* The main advantage to using `ZArrow` is that it provides you a means of
 * importing an impure function `A => B` into `ZArrow[E, A, B]`, without
 * actually wrapping the result of the function in an `IO` value.

А это легально? Т.е. если я пишу на ZIO, откуда вдруг у меня возьмется пачка нечистых функций

 * The main advantage to using `ZArrow` is that it provides you a means of
 * importing an impure function `A => B` into `ZArrow[E, A, B]`, without
 * actually wrapping the result of the function in an `IO` value.

Видимо предполагается, что это альтернатива зио как эффекту

но это же выглядит как отказ от эффекта

  /**
   * Lifts an impure function into `ZArrow`, assuming any throwables are
   * non-recoverable and do not need to be converted into errors.
   */
  def effectTotal[A, B](f: A => B): ZArrow[Nothing, A, B] = new Impure(f)

если у меня такие допущения относительно кода, зачем мне какая-то библиотека вообще?

  /**
   * Lifts an impure function into `ZArrow`, assuming any throwables are
   * non-recoverable and do not need to be converted into errors.
   */
  def effectTotal[A, B](f: A => B): ZArrow[Nothing, A, B] = new Impure(f)

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

И видимо что зио[а] чистая, что зстрелка[а, б] чистая

Это ваш проект или Джон тоже в курсе и в нем принимает участие?

а я выпилил tranzactio из-за того, что пул нельзя подкрутить, что актуально для sqlite. В итоге даже проще получись на мой взгляд

Освежу старое обсуждение. Понадобилось в скале 2 дырявый экзистенциал выразить ((

В апишке нужна функция вида Request[_] => String, где Request[F[_]].

Эта функция специально экзистенциальная, т.к. при ее реализации нельзя пользоваться кусками реквеста, зависящими от F.

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

Вопрос, как быть с портированием на дотти в будущем, если сейчас хочется написать forSome?

@sugakandrey attn

Вот это при миграции на скала 3 не хочется потом писать...

Наверное вариант - заводить трейт с абстрактным типом, делать конструктор полиморфный...

Все это ударяет по удобству. Хочу чтобы можно было написать лямбду инплейс

А кто-нибудь знает как заставить lightbend заапрувить и смерджить пулл-реквест? ну или отклонить. ну короче хоть что-то сделать)

Долби в гиттере

Или твиттере

спс. попробую

Кажется выкрутился...

Как сделал?

Повезло, что Request неявно ковариантен по F (есть метод covary)

Можно обойтись функцией Request[Any] => String, а Any - поликайнден