M
Ну и там еще можно строить перпендикулярное наследование. Пример - superquants
extends NewType в самих моделях. А весь код где были касты - остается как был без изменений.Size: a a a
2020 January 17
M
ну и еще можно tagged на newtype (если вдруг решил, что именно это тебе надо) менять простой заменой
M
Там еще наверное можно что-то вспомнить, но уже и этого достаточно, чтобы на практике было бы намного удобнее использовать физ.якорь
M
@OlegYch_real и тот же Id[T] - можно сделать как
object Id extends TaggedTypeT[String] ; type Id[T] = Id.Type[T] и пользоваться всеми плюшками супертаггетов для Id[User]λ
вот это норм
M
И правда, где выигрыш. Можно ж один кейс класс написать тогда
можешь 👆
AH
можешь 👆
Агонь
2020 January 18
C
Добро пожаловать в самое дружелюбное комьюнити.
a
тайп алиасы понятно почему не позволяют рекурсию - ансаунд
почему ансаунд кстати
a
Там не ансаунд
a
Просто расходится во время компиляции
a
Тюринг полнота на уровне типов (а также неразрешимый вывод/проверка типов) не обязана приводить к каким либо проблемам во время выполнения
Oℕ
почему ансаунд кстати
Хороший вопрос, ответа у меня нет.
Но подозреваю, что опять не вяжется с объектами, что-то вроде
trait A{
type F[x] = G[F[x]]
type G[x] <: String
}
trait B{
type G[x] = F[G[x]]
type F[x] >: Int
}
и типа формально A with B сожержит только конкретные члены и можно инстанциировать, получив доказательство String <: Int
Но подозреваю, что опять не вяжется с объектами, что-то вроде
trait A{
type F[x] = G[F[x]]
type G[x] <: String
}
trait B{
type G[x] = F[G[x]]
type F[x] >: Int
}
и типа формально A with B сожержит только конкретные члены и можно инстанциировать, получив доказательство String <: Int
λ
@eld0727 заапрувь котовый пр в тофу
AO
KS
Пшему не Олег?
Олег любит на выходных отдыхать, подлец эдакий, а у Коляна свербит
SZ
Пардон
AO
Kirill Shelopugin
Олег любит на выходных отдыхать, подлец эдакий, а у Коляна свербит
Ми ту
KS
Ми ту
Мы попытаемся донести это до нашего нетактичного друга