Телеграмм чат группы scala

Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 May 19

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

@odomontois а можешь для тупых объяснить почему такое возможно

@typeclass trait Embed[U[_[_]]] {
  def embed[F[_]: FlatMap](ft: F[U[F]]): U[F]
}

зная про F только наличие FlatMap, мы можем от него избавиться снаружи

источник

07:29пожаловаться #1

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

ZLoyer Matveev

@odomontois а можешь для тупых объяснить почему такое возможно

@typeclass trait Embed[U[_[_]]] {
  def embed[F[_]: FlatMap](ft: F[U[F]]): U[F]
}

зная про F только наличие FlatMap, мы можем от него избавиться снаружи

List[Option[List]].sequence.map(_.flatten) как-то так наверное

источник

07:39пожаловаться #2

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

sequence уже больше требует

источник

07:42пожаловаться #3

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

причем для U

источник

07:44пожаловаться #4

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

ZLoyer Matveev

@odomontois а можешь для тупых объяснить почему такое возможно

@typeclass trait Embed[U[_[_]]] {
  def embed[F[_]: FlatMap](ft: F[U[F]]): U[F]
}

зная про F только наличие FlatMap, мы можем от него избавиться снаружи

trait Logging[F[_]] {
  def info(msg: String): F[Unit]
}

F HasContext Ctx

val logging: F[Logging[F]] = ask { ctx =>
  new Logging[F] {
    def info (msg: String): F[Unit] = F.delay(println(s"$msg [$ctx]"))
  }
}

val embLogging: Logging[F] = logging.embed

источник

07:56пожаловаться #5

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Чтобы сделать embed нужно знать структуру трейта, конечно. На каких позициях там F находится. Но от самого F только флэтмап требуется

источник

07:58пожаловаться #6

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Попробуй вывести инстанс ембеда для такого трейта

источник

07:58пожаловаться #7

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Ну и ембеддить нужно только всякие чтения из ридеров и рефов. Никаких серьезных эффектов. Т.к. это будет делаться при каждом вызове метода

источник

08:01пожаловаться #8

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Эх Дегуз
https://twitter.com/jdegoes/status/1262484500199677954?s=19

Скажите ему кто-нибудь

Twitter

John A De Goes

Type-safe, inferable SQL queries in Scala, including joins, aggregations, and updates, without macros or compiler plug-ins of any kind. Coming soon to a library near you! 😉 #zio #sql #functional #scala

источник

08:04пожаловаться #9

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Что это говно на палке

источник

08:04пожаловаться #10

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

λoλcat

Попробуй вывести инстанс ембеда для такого трейта

спасиб, ушел переваривать

источник

08:04пожаловаться #11

λoλdog in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

λoλcat

Что это говно на палке

Да он много гавна делает, пора привыкнуть)

источник

08:06пожаловаться #12

Aλeksei Tereχin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

ZLoyer Matveev

@odomontois а можешь для тупых объяснить почему такое возможно

@typeclass trait Embed[U[_[_]]] {
  def embed[F[_]: FlatMap](ft: F[U[F]]): U[F]
}

зная про F только наличие FlatMap, мы можем от него избавиться снаружи

Блин Олег пояснял где то

источник

08:07пожаловаться #13

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

λoλdog

Да он много гавна делает, пора привыкнуть)

плохая привычка

источник

08:07пожаловаться #14

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Aλeksei Tereχin

Блин Олег пояснял где то

Берял

источник

08:07пожаловаться #15

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

А, не. Он про Мид пояснял

источник

08:07пожаловаться #16

λoλdog in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

И про мид пояснял Олег

источник

08:07пожаловаться #17

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Aλeksei Tereχin

Блин Олег пояснял где то

да, но я тогда не включал голову и сходу было не понятно (он часто очевидный ему контекст оставляет в голове)

источник

08:08пожаловаться #18

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

Идите в доку законтрибьютьте

источник

08:08пожаловаться #19

ZLoyer Matveev in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

λoλcat

Идите в доку законтрибьютьте

закинул пример Беряла в гист олеговский сегодня, лол

источник

08:08пожаловаться #20