ЮБ
у тебя NonEmptySet - алиас на сет, инстанс сам на себя ссылается
Раньше там был Refined тип
Size: a a a
2020 January 20
ЮБ
я просто убрал его, потому что и так и так падало
M
Мы плотно сидим на supertagged и было бы круто юзать последнюю верси.
Оки
Oℕ
ЮБ
ЮБ
И в твоём варианте тэг для каждого примитива отдельный, получается?
Oℕ
И в твоём варианте тэг для каждого примитива отдельный, получается?
ну он и должен быть для каждого примитива отдельный
Oℕ
иначе будет боксинг
Oℕ
ну либо специализацю на трейт кидать, но не уверен, что сработает
ЮБ
ну он и должен быть для каждого примитива отдельный
Почему? В supertagged не так, там не для каждого отдельно
Oℕ
Почему? В supertagged не так, там не для каждого отдельно
ну значит он будет боксить примитивы
ЮБ
@rudogma рили?
Oℕ
ну возьми да напиши def foo(coco: Coco) : Coco = coco
Oℕ
и посмотри байткод
M
object Foo{
type T <: SomeTrait
trait SomeTrait extends Any
пошли имплиситы
}
type T <: SomeTrait
trait SomeTrait extends Any
пошли имплиситы
}
Эта схема валится на тестах у меня с Array[NewType] и еще в одном специфическом месте. Поэтому у меня там чуть по другому
M
@rudogma рили?
Теги не боксит, ньютайпы боксит - как везде
Oℕ
public static int foo(int);
при моей кодировке
ЮБ
Так и кто прав то в итоге
Oℕ
Так и кто прав то в итоге
а мы с Михаилом и не спорили
M
@lmnet89 отдельные теги должны быть не для боксинга-анбоксинга, а для того, чтобы два разных TaggedInt1 & TaggedInt2 не были бы взаимозаеняемы, но это делается за счет <: this.type грубо говоря...