A
например
Size: a a a
2020 January 29
A
вместо asJson[ExampleHttpResponse]
R
вместо asJson[ExampleHttpResponse]
а, я просто думал что какой-то встроенный механизм для этого есть
A
может и есть, сходу хз)
2020 January 30
C
AS
Вопрос на счет Defer + Applicative
Есть ли в cats встроенный аналог такой функции?
Есть ли в cats встроенный аналог такой функции?
def suspend[F[_], A](op: => A)(implicit ap: Applicative[F], de: Defer[F]): F[A] = de.defer(ap.pure(op))
Oℕ
нет и не должен быть
AS
нет и не должен быть
Пчему не может?
Oℕ
потому что Defer создан для поддержки стек сейфти в аппликативах, комонадах и около того, Defer не означает, что вы можете откладывать сайдэффекты, а единственный разумный повод делать
=> A - это откладывать сайд эффекты
=> A - это откладывать сайд эффекты
Oℕ
поэтому если ваш => A несёт какой-то сайд эффект, и вы хотите выразить это в Defer - вы делаете что-то не так
AS
потому что Defer создан для поддержки стек сейфти в аппликативах, комонадах и около того, Defer не означает, что вы можете откладывать сайдэффекты, а единственный разумный повод делать
=> A - это откладывать сайд эффекты
=> A - это откладывать сайд эффекты
Хм...
В доке
В доке
cats.Defer явно упомянуто откладывание (the ability to defer)* Defer is a type class that shows the ability to defer creation
* inside of the type constructor F[_].
Oℕ
Oℕ
оно откладывает вычисления
Oℕ
Но не сайд эффекты
AS
поэтому если ваш => A несёт какой-то сайд эффект, и вы хотите выразить это в Defer - вы делаете что-то не так
Нужно отложить создание объекта. Конкретно Java KafkaProducer, который потенциально может кинуть Exception из конструктора.
И не хочется тащить Sync[F] для этого
И не хочется тащить Sync[F] для этого
Oℕ
Нужно тащить Sync[F] для этого
Oℕ
Defer не предполагает, что будут отлавливаться исключения
AS
А если так?
def suspend[F[_], A](op: => A)(implicit ap: ApplicativeError[F, Throwable], de: Defer[F]): F[A] ={
de.defer {
val tried = Try(op)
ap.fromTry(tried)
}
}Oℕ
для Eval и Free[F есть Defer например
Oℕ
А если так?
def suspend[F[_], A](op: => A)(implicit ap: ApplicativeError[F, Throwable], de: Defer[F]): F[A] ={
de.defer {
val tried = Try(op)
ap.fromTry(tried)
}
}выглядит как эскапизм