ΛO
не, не понял
Size: a a a
2020 February 21
ΛO
ну есть метод, да
ΛO
я могу делать Monad[M].pure
λ
это таиплкасс
ΛO
но не могу просто pure
λ
потому что pure метод Applicative, а он в свою очередь таипкласс
λ
он зависит от твоей M
ΛO
да, почему бы не сделать
def pure[M[_]: Monad, A](a: A): M[A] = Monad[M].pure(a)λ
зачем
ΛO
который бы в зависимости от контекста находил нужное M
Oℕ
Всем привет 👋
Изучаю cats, возник вопрос
Есть какая-то причина, по которой все любят extention методы (судя по документации и их существованию) вроде
?
Изучаю cats, возник вопрос
Есть какая-то причина, по которой все любят extention методы (судя по документации и их существованию) вроде
.pure, но нет обычных функций вродеdef pure[M[_]: Monad, A](a: A): M[A] = Monad[M].pure(a)?
нет причины
ΛO
ну, сделали же зачем-то extention методы зачем-то
ΛO
чтобы можо было x.pure
λ
если ты откроешь ApplicativeOps
λ
то там так и написано
λ
def pure[F[_]](implicit F: Applicative[F]): F[A] = F.pure(a)
KS
который бы в зависимости от контекста находил нужное M
Applicative[M].pure делает то же самое - находит в скоупе инстанс и вызывает на нём методы
ΛO
Kirill Shelopugin
Applicative[M].pure делает то же самое - находит в скоупе инстанс и вызывает на нём методы
ну он длиннее на название тайпкласса
IA
ну он длиннее на название тайпкласса
Не для всех аппликативов есть монада
KS
Здорово же, сразу видно, какой тайпкласс используется