ᛒ
Пойду сегодня 127.5 жать.
Size: a a a
2020 October 05
R
Это я в зеркале
R
Пойду сегодня 127.5 жать.
Попробую норм 57.5 пожать(
Oℕ
Что за бутоны?
https://github.com/manatki/manatki/blob/master/src/main/scala/manatki/free/Bud.scala#L5:L5
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Ну и типа пишешь
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Bud[Petal[F]] = F[Bud[Petal[F]]
За счёт двойной контравариантности мы получаем, что Bud ковариантен по FНу и типа пишешь
sealed trait UserRepoT[ +E, +A]и потом типа оборачиваешь
case class ReadUser(userId: UserId) extends UserRepoT[UserNotFound, User]
case class WriteUser(user: User) extends UserRepoT[UserConflict, Unit]
type UserRepo = Petal.Simple[UserRepoT]
sealed trait KafkaPullT[+F[+_, +_], +E, +A]
case class AddConsumer[+F[+_, +_]](topic: Topic, handler: KafkaMessage => F[Nothing, Unit]) extends KafkaPullT[F, Nothing, Unit]
type KafkaPull = Petal[KafkaPullT]
def writeUser(user: User): Bud[UserRepo, UserConflict, Unit] = Bud(WriteUser(user))потом хуяк, юзаешь
def addConsumer[P <: Petal[Nothing]](topic: Topic, handler: KafkaMessage => Bud[P, Nothing, Unit]): Bud[P with KafkaPull] = Bud(AddConsumer(topic, handler)
for {
k <- writeUser(oleg)
_ <- addConsumer(sugakTopic, eatHinkalee)
} yield
и тип выводится автоматически как Bud[UserRepo with KafkaPull with Monadic]
w
https://github.com/manatki/manatki/blob/master/src/main/scala/manatki/free/Bud.scala#L5:L5
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Ну и типа пишешь
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Bud[Petal[F]] = F[Bud[Petal[F]]
За счёт двойной контравариантности мы получаем, что Bud ковариантен по FНу и типа пишешь
sealed trait UserRepoT[ +E, +A]и потом типа оборачиваешь
case class ReadUser(userId: UserId) extends UserRepoT[UserNotFound, User]
case class WriteUser(user: User) extends UserRepoT[UserConflict, Unit]
type UserRepo = Petal.Simple[UserRepoT]
sealed trait KafkaPullT[+F[+_, +_], +E, +A]
case class AddConsumer[+F[+_, +_]](topic: Topic, handler: KafkaMessage => F[Nothing, Unit]) extends KafkaPullT[F, Nothing, Unit]
type KafkaPull = Petal[KafkaPullT]
def writeUser(user: User): Bud[UserRepo, UserConflict, Unit] = Bud(WriteUser(user))потом хуяк, юзаешь
def addConsumer[P <: Petal[Nothing]](topic: Topic, handler: KafkaMessage => Bud[P, Nothing, Unit]): Bud[P with KafkaPull] = Bud(AddConsumer(topic, handler)
for {
k <- writeUser(oleg)
_ <- addConsumer(sugakTopic, eatHinkalee)
} yield
и тип выводится автоматически как Bud[UserRepo with KafkaPull with Monadic]Не читаемо в текстовом виде.
AS
https://github.com/manatki/manatki/blob/master/src/main/scala/manatki/free/Bud.scala#L5:L5
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Ну и типа пишешь
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Bud[Petal[F]] = F[Bud[Petal[F]]
За счёт двойной контравариантности мы получаем, что Bud ковариантен по FНу и типа пишешь
sealed trait UserRepoT[ +E, +A]и потом типа оборачиваешь
case class ReadUser(userId: UserId) extends UserRepoT[UserNotFound, User]
case class WriteUser(user: User) extends UserRepoT[UserConflict, Unit]
type UserRepo = Petal.Simple[UserRepoT]
sealed trait KafkaPullT[+F[+_, +_], +E, +A]
case class AddConsumer[+F[+_, +_]](topic: Topic, handler: KafkaMessage => F[Nothing, Unit]) extends KafkaPullT[F, Nothing, Unit]
type KafkaPull = Petal[KafkaPullT]
def writeUser(user: User): Bud[UserRepo, UserConflict, Unit] = Bud(WriteUser(user))потом хуяк, юзаешь
def addConsumer[P <: Petal[Nothing]](topic: Topic, handler: KafkaMessage => Bud[P, Nothing, Unit]): Bud[P with KafkaPull] = Bud(AddConsumer(topic, handler)
for {
k <- writeUser(oleg)
_ <- addConsumer(sugakTopic, eatHinkalee)
} yield
и тип выводится автоматически как Bud[UserRepo with KafkaPull with Monadic]Понял.
AS
Спасибо.
Oℕ
проблема только в том,что не читаемо в текстовом виде
AS
проблема только в том,что не читаемо в текстовом виде
AS
Не читаемо в текстовом виде.
Для этго нужен специальный отдел головного мозга отрастить.
AS
И возможно - спинного тоже
D
https://github.com/manatki/manatki/blob/master/src/main/scala/manatki/free/Bud.scala#L5:L5
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Ну и типа пишешь
Идея примерно такая как у дегоза c Layer
Только вместо гетерогенной мапки в ридере - это ковариантный фикспойнт
Bud[Petal[F]] = F[Bud[Petal[F]]
За счёт двойной контравариантности мы получаем, что Bud ковариантен по FНу и типа пишешь
sealed trait UserRepoT[ +E, +A]и потом типа оборачиваешь
case class ReadUser(userId: UserId) extends UserRepoT[UserNotFound, User]
case class WriteUser(user: User) extends UserRepoT[UserConflict, Unit]
type UserRepo = Petal.Simple[UserRepoT]
sealed trait KafkaPullT[+F[+_, +_], +E, +A]
case class AddConsumer[+F[+_, +_]](topic: Topic, handler: KafkaMessage => F[Nothing, Unit]) extends KafkaPullT[F, Nothing, Unit]
type KafkaPull = Petal[KafkaPullT]
def writeUser(user: User): Bud[UserRepo, UserConflict, Unit] = Bud(WriteUser(user))потом хуяк, юзаешь
def addConsumer[P <: Petal[Nothing]](topic: Topic, handler: KafkaMessage => Bud[P, Nothing, Unit]): Bud[P with KafkaPull] = Bud(AddConsumer(topic, handler)
for {
k <- writeUser(oleg)
_ <- addConsumer(sugakTopic, eatHinkalee)
} yield
и тип выводится автоматически как Bud[UserRepo with KafkaPull with Monadic]
Oℕ
короче плюс понятно в том, что нет промежуточных оборачиваний - только юзерский кейсклассы
Oℕ
и в том, что эффекты композятся через with, что ,к счастью в скалке работает нормально
Oℕ
понятно, что
Bud[Foo with Bar with Baz] - это примерно как
Fix[FooT | BarT | BazT]
Bud[Foo with Bar with Baz] - это примерно как
Fix[FooT | BarT | BazT]
Oℕ
только я пока не придумал, как нормально сделать паттерн-матчинг такой коллективный
Oℕ
зато хендлеры можно делать рекурсивно зависимыми
Oℕ
но вот как кучу хендлеров в один сгрести, пока не придумал
V
