AD
рисуешь F[_]: и нужные тайпклассы
Size: a a a
2020 October 06
AD
что нужно тои просишь
Y
а где они в конце беруться?
Y
из cats.implicits?
AS
а где можно почитать как работать с TF, как делать FlatMap/Lift/Traverse/Map на самой F, без конкретной монады ?
гора статей в инете гуглится по scala tagless final example
Например: https://jproyo.github.io/posts/2019-02-07-practical-tagless-final-in-scala.html
Например: https://jproyo.github.io/posts/2019-02-07-practical-tagless-final-in-scala.html
Y
ну там везде частные случаи
AD
когда пишешь tvoyKot[IO], туда залетает параметр
AS
из cats.implicits?
Все берется из
import cats.implicits._AD
у ио это няп контекст шифт
S
а где они в конце беруться?
в "самом конце" надо предоставить уже конкретные реализации
AD
из IOApp
AS
из IOApp
тут только ContextShift и иже с ним
Y
ну тоесть условно я пропихнул ZIO/Monix в етих либах есть реализации Sync/Traverse тайпкласов и тд ?
S
Или в них, или сторонняя, или самому написать
λ
В zio есть cats interop
S
Стандартные тайпклассы котов есть и для моникса и для зио
AS
ну тоесть условно я пропихнул ZIO/Monix в етих либах есть реализации Sync/Traverse тайпкласов и тд ?
Проще сделать так.
Взять один конкретный пример из того миллиона статей по tagless final.
Потыкать его.
Прийти с конкретной проблемой(в скасти).
Тогда точно тут помогут.
Взять один конкретный пример из того миллиона статей по tagless final.
Потыкать его.
Прийти с конкретной проблемой(в скасти).
Тогда точно тут помогут.
AS
ну тоесть условно я пропихнул ZIO/Monix в етих либах есть реализации Sync/Traverse тайпкласов и тд ?
Ну или вот https://leanpub.com/pfp-scala
Y
если на F нужно сделать map это либо
Concurrent либо Parallel затянуть?AS
если на F нужно сделать map это либо
Concurrent либо Parallel затянуть?map - это Functor