B
ок
Size: a a a
2020 January 13
Oℕ
Boris
ок
Я это Даниле и Кириллу
Oℕ
Чтобы тебя не отпугивали
V
сейчас бы контрибутить в то чем не пользуешься
Я думал так все делают
B
Чтобы тебя не отпугивали
лол
NV
Друзья, можете объяснить зачем в ApplicativeAsk нужен Applicative, если можно обойтись функтором или даже избавиться от
reader и оставить просто Ask? https://github.com/typelevel/cats-mtl/blob/ad4fa83eb04637d1f41622509b687f69404e9933/core/src/main/scala/cats/mtl/ApplicativeAsk.scala#L24-L30
Oℕ
Друзья, можете объяснить зачем в ApplicativeAsk нужен Applicative, если можно обойтись функтором или даже избавиться от
reader и оставить просто Ask? https://github.com/typelevel/cats-mtl/blob/ad4fa83eb04637d1f41622509b687f69404e9933/core/src/main/scala/cats/mtl/ApplicativeAsk.scala#L24-L30Тогда получится тофу
NV
Тогда получится тофу
Как будто что-то плохое
Oℕ
ну это мтл подход
Oℕ
Там MonadFoo
Oℕ
В среднем вложенные инстансы позволяют реализовывать методы в тайпклассе
Oℕ
например вот reader[A] можно было бы реализовать через ask + applicative
Oℕ
Но тут почему-то этого не сделано
Oℕ
Ну а смысл реализовывать методы в тупеклассе, а не отдельной функцией в том, что можно переопределить его как-то более эффективно для разных типов
NV
Тогда получится тофу
Конкретно с HasContext меня напрягает, что это aux-нутый Context, и для одной F нельзя определить несколько HasContext с разными C
Oℕ
Конкретно с HasContext меня напрягает, что это aux-нутый Context, и для одной F нельзя определить несколько HasContext с разными C
можно
Oℕ
аукснутый тип не запрещает делать тебе несколько разных инстансов
λ
Я думаю, он про то, что не написать F: HasContext[*[_], Chota] : HasContext[*[_], Chota2]
λ
точнее написать, но не достать
Oℕ
Написать