Size: a a a

Scala User Group

2020 January 13

B

Boris in Scala User Group
ок
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Boris
ок
Я это Даниле и Кириллу
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Чтобы тебя не отпугивали
источник

V

Vλadimir in Scala User Group
Daniel Matveev
сейчас бы контрибутить в то чем не пользуешься
Я думал так все делают
источник

B

Boris in Scala User Group
Oleg ℕizhnik
Чтобы тебя не отпугивали
лол
источник

NV

Nikita Vilunov in Scala User Group
Друзья, можете объяснить зачем в ApplicativeAsk нужен Applicative, если можно обойтись функтором или даже избавиться от reader и оставить просто Ask? https://github.com/typelevel/cats-mtl/blob/ad4fa83eb04637d1f41622509b687f69404e9933/core/src/main/scala/cats/mtl/ApplicativeAsk.scala#L24-L30
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Nikita Vilunov
Друзья, можете объяснить зачем в ApplicativeAsk нужен Applicative, если можно обойтись функтором или даже избавиться от reader и оставить просто Ask? https://github.com/typelevel/cats-mtl/blob/ad4fa83eb04637d1f41622509b687f69404e9933/core/src/main/scala/cats/mtl/ApplicativeAsk.scala#L24-L30
Тогда получится тофу
источник

NV

Nikita Vilunov in Scala User Group
Oleg ℕizhnik
Тогда получится тофу
Как будто что-то плохое
источник

Oℕ

Oleg ℕizhnik in Scala User Group
ну это мтл подход
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Там MonadFoo
источник

Oℕ

Oleg ℕizhnik in Scala User Group
В среднем вложенные инстансы позволяют реализовывать методы в тайпклассе
источник

Oℕ

Oleg ℕizhnik in Scala User Group
например вот reader[A] можно было бы реализовать через ask + applicative
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Но тут почему-то этого не сделано
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Ну а смысл реализовывать методы в тупеклассе, а не отдельной функцией в том, что можно переопределить его как-то более эффективно для разных типов
источник

NV

Nikita Vilunov in Scala User Group
Oleg ℕizhnik
Тогда получится тофу
Конкретно с HasContext меня напрягает, что это aux-нутый Context, и для одной F нельзя определить несколько HasContext с разными C
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Nikita Vilunov
Конкретно с HasContext меня напрягает, что это aux-нутый Context, и для одной F нельзя определить несколько HasContext с разными C
можно
источник

Oℕ

Oleg ℕizhnik in Scala User Group
аукснутый тип не запрещает делать тебе несколько разных инстансов
источник

λ

λoλdog in Scala User Group
Я думаю, он про то, что не написать F: HasContext[*[_], Chota] : HasContext[*[_], Chota2]
источник

λ

λoλdog in Scala User Group
точнее написать, но не достать
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Написать
источник