Oℕ
Foo with {type lol = Tag}
Size: a a a
2021 June 02
NV
а что такое Tag тут?
Oℕ
рефайнмент в смысле скалы
Oℕ
какой-то трейт обычно extends Any
NV
то есть таггед типы это через неабстрактный тайпмембер, а ньютайпы через абстрактный тайпмембер
NV
а в чем разница?
Oℕ
нет, таггед типы это рейфайнтемт
Oℕ
а нютайпы через абстрактный тайпмембер
NV
а рефайнмент это неабстрактный тайпмембер
Oℕ
нет, рефайнмент - это расширение твоего типа какой-то хернёй
Oℕ
в данном случае это какой-то структурный тип с тайпмембером
Oℕ
но не обязательно
IT
Окей а разница в использовании есть?
Oℕ
соответственно
Foo @@ X @@ Y и
Foo @@ Y @@ X - один и тот же тип
X[Y[Foo]]] и
Y[X[Foo]] - разные
Foo @@ X @@ Y и
Foo @@ Y @@ X - один и тот же тип
X[Y[Foo]]] и
Y[X[Foo]] - разные
IT
Оба же дают вроде одно и тоже
Oℕ
плюс инстансы для тега, скорее всего компилятор будет искать в компаньоне исходного типа, а для субньютайпа не будет
Oℕ
но это нужно проверить
Oℕ
в итоге классическая техника помечать тегами имплиситы скорее всего не очень хорошо будет работать с субньютипами