Size: a a a

Scala User Group

2020 March 10

Oℕ

Oleg ℕizhnik in Scala User Group
Пусть у нас тайпклассы
T3 <: T1
T2  <: T1
T4 <: T3
источник

Oℕ

Oleg ℕizhnik in Scala User Group
как лучше сделать трейты с инстансами
trait Level1 extends Level2{
 T4[F] => T4[Trans[F]]
}
trait Leve2 extends Level3{
 T2[F] => T2[Trans[F]]
 T3[F] => T3[Trans[F]]
}

trait Level3 {
 T1[F] => T1[Trans[F]]
источник

Oℕ

Oleg ℕizhnik in Scala User Group
или
trait Level1 extends Level2{
 T4[F] => T4[Trans[F]]
 T2[F] => T2[Trans[F]]
}
trait Leve2 extends Level3{

 T3[F] => T3[Trans[F]]
}

trait Level3 {
 T1[F] => T1[Trans[F]]
источник

Oℕ

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

Oℕ

Oleg ℕizhnik in Scala User Group
или наоборот
источник

AV

Abyr Valg in Scala User Group
Самые специфичные инстансы в самом низу иерархии
источник

Oℕ

Oleg ℕizhnik in Scala User Group
да блин понятно
источник

AV

Abyr Valg in Scala User Group
Наиболее генеричные - в самом дальнем родителе
источник

Oℕ

Oleg ℕizhnik in Scala User Group
вопрос, когда я могу один инстанс сделать и повыше и пониже
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Мне ближе всего к компаньону по наследоаниванию
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Или дальше всего его двигать
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Прочитай варианты
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Вот T2[F] => T2[Trans[F]] лучше в самый наследник
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Или в родителя
источник

AV

Abyr Valg in Scala User Group
По-моему разницы в данном примере не будет
источник

Oℕ

Oleg ℕizhnik in Scala User Group
С точки зрения перфоманса конпеляции имеется в виду
источник

Oℕ

Oleg ℕizhnik in Scala User Group
юзерсайт
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Допустим там какой-то CoflatMap, который нужен двум извращенцам
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Я так догадываюсь, его лучше поглубже запихнуть, т.е. вверх иерархии
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Или Alternative
источник