λ
type Id = String
Size: a a a
2020 January 17
M
кстати вопрос а зачем там обьекты обьявляются почему нельза просто type Id[T] = T @@ Id
Тогда Id[String] = Id[String]. А если
object OrderId extends TaggedType[String] && object OtherId extends TaggedType[String] , то OrderId != OtherIdλ
не, Id[Order]
AH
не, Id[Order]
А если в одной сущности 10 айди? И все обозначают одно и то же
λ
точнее type Id = String, type Id[T] = Id @@ T
AH
У нас вот для обозначения товара, без шуток есть
ItemId
WalmartId
LegacyWalmartId
Gtin
TrimmedGtin
SupplyItemId
ProductId
SkuId
MerchantItemId
И я наверняка забыл что-то
ItemId
WalmartId
LegacyWalmartId
Gtin
TrimmedGtin
SupplyItemId
ProductId
SkuId
MerchantItemId
И я наверняка забыл что-то
λ
и не надо для каждого ордера или юзера обьекты обьявлять
M
не, Id[Order]
аа. Отдельный object дает отдельный якорь, отдельный автоскоуп. Но, чтобы более детально ответить, надо вспоминать все нюансы
λ
У нас вот для обозначения товара, без шуток есть
ItemId
WalmartId
LegacyWalmartId
Gtin
TrimmedGtin
SupplyItemId
ProductId
SkuId
MerchantItemId
И я наверняка забыл что-то
ItemId
WalmartId
LegacyWalmartId
Gtin
TrimmedGtin
SupplyItemId
ProductId
SkuId
MerchantItemId
И я наверняка забыл что-то
ну у нас есть Id[T] и Id[User], Id[Walmart], Id[чтоугодно]
M
У нас вот для обозначения товара, без шуток есть
ItemId
WalmartId
LegacyWalmartId
Gtin
TrimmedGtin
SupplyItemId
ProductId
SkuId
MerchantItemId
И я наверняка забыл что-то
ItemId
WalmartId
LegacyWalmartId
Gtin
TrimmedGtin
SupplyItemId
ProductId
SkuId
MerchantItemId
И я наверняка забыл что-то
он имеет ввиду, почему не использовать Id[Walmart], Id[SupplyItem] и т.д., ведь это почти тоже самое по записи, что и WalmartId, SupplyItemId. Типа где выигрыш в этом случае с object
AH
он имеет ввиду, почему не использовать Id[Walmart], Id[SupplyItem] и т.д., ведь это почти тоже самое по записи, что и WalmartId, SupplyItemId. Типа где выигрыш в этом случае с object
И правда, где выигрыш. Можно ж один кейс класс написать тогда
AH
Хотя не, все равно придется кучу типов создавать
λ
не, тип один
λ
всмысле конструктор типов
λ
Id[T]
AH
всмысле конструктор типов
Конструктор один, но один фиг надо будет создавать тонну трейтов маркерных чтобы создать конкретные Id[...]
M
@OlegYch_real вобще супертаггет появились после того, как я поглядел на либу @tvaroh . Меня зацепило, что можно использовать синтаксис как AnyVal , но без всех его болячек и что можно безопасно скастить OrderId @@ Array[String] => Array[OrderId]. Плюс дополнил плюшками - что можно делать это для arbitrary level. Потом еще можно строить иерархию дальше типа
trait StringId extends Tagged[String] и выводить тайпклассы для ограниченного поддереваλ
Конструктор один, но один фиг надо будет создавать тонну трейтов маркерных чтобы создать конкретные Id[...]
не надо, у тебя уже есть Walmart Order и тп
M
там еще для мультитагинга удобный синтаксис (но опыту мультитеги в бизнес логике я нигде не использую)
λ
это полезно