AD
Можно сделать тайпмембер и не будет портится параметризация
Size: a a a
2020 August 20
DZ
Дело в том что я не хочу выводить этот параметр в трейт. Там уже есть один и он используется как tagless final. по нему определяется поведение. И введение второго всю параметризацию портит
Ну две дырки это типа ок
AD
Подскажите плз, можно ли как то заоверрайдить HKT метода?
Например есть
Я хочу заовверрайдить как
Например есть
def do[F[_]](f: F)Я хочу заовверрайдить как
override def do[F[_] <: Future](f: Future) = ???Но на самом деле если подумать то можно сослаться на LSP и что это его нарушение
AD
Потому то если ты сузишь тип то не будет отношения is A
VK
Можно сделать тайпмембер и не будет портится параметризация
А. Хм. Идея. Спасиб
VK
Ну две дырки это типа ок
Не в моем случае :( я от обоих пляшу
DZ
Не понял противоречий пока
VK
Но на самом деле если подумать то можно сослаться на LSP и что это его нарушение
Да. Ты прав. Не хотелось разбивать на мелочь
VK
Не понял противоречий пока
Да. Дело скорее не в tagless final, а в том, что если я параметризирую по классу A[F[_], G[_]] (как это сейчас), то при другом G[_] прийдется копировть весь код связанный с F[_]. Апач прав - у меня смешаны две ответственности и в этом проблема
AS
Народ, привет.
Может кто-нть знает, можно ли скомбинировать Functor[List] и BiFunctor[Tuple2]?
Идея в том, чтобы можно было получить функтор по левому элементу туплов в списке
Типа:
Может кто-нть знает, можно ли скомбинировать Functor[List] и BiFunctor[Tuple2]?
Идея в том, чтобы можно было получить функтор по левому элементу туплов в списке
Типа:
def listTuple2Left[R]: Functor[Tuple2[*, R]] = ???
AS
Нашел
private implicit def listTuple2Left[R] =
Functor[List].compose(Bifunctor[Tuple2].leftFunctor[R])
Oℕ
Binested[Tuple2, Id, List, *, *]
2020 August 21
VS
Если у меня есть
M[_[_]]: FunctorK, есть шансы для него запросить ClassTag[M]? С ходу ругается на M takes type parametersVP
нельзя, M это ж не тип а конструктор типов
ЮБ
Если у меня есть
M[_[_]]: FunctorK, есть шансы для него запросить ClassTag[M]? С ходу ругается на M takes type parametersА зачем именно ClassTag?
Oℕ
у дистейжа есть свой нанорефлекшен для ХКТ
Oℕ
или ты матчить хочешь по M[F]
Oℕ
можно тогда нопремер попросить ClassTag[M[Any]]
VS
хочу
Logs.sync[F, F].forService[M] мутить %) этакий дженерик логгер, который сам знает кого логирует