AS
trait Applicative[F[_]]:
def pure[A](a: A)Size: a a a
2021 July 30
ΛВ
ΛВ
и теперь если подставить туда вместо F List
ΛВ
то будет def pure(a: A): List[A]
АУ
да согласен
АУ
pure все же это возведение в контекст
АУ
значения
АУ
промахнулся
АУ
тогда можно исползовать empty из моноида
АУ
и разрешать рабоать с этим типом
ΛВ
тогда это фолдмап
АУ
да но это частный случай
АУ
уже с функцией
def f(s: List[String]): Future[List[String]] = Future.successful(s)
не сработает такое
def f(s: List[String]): Future[List[String]] = Future.successful(s)
не сработает такое
АУ
в этом случае я бы писал fold с List.empty[String].pure[Future]
АУ
а хотелось бы автоматом это получить
ΛВ
это уже надо комбинировать функции
ΛВ
можно поискать foldMapTraverse
ΛВ
или как-то так
ΛВ
может есть похожее