λ
Size: a a a
2021 July 09
Oℕ
мне показалось ,что давно релизились
Oℕ
или там RC был
λ
Не, только что. Уже успешно собрал на ней проектик
2021 July 10
SA
Не напомните, чем opaque type хуже tagged type?
λ
Патматч
SA
А зачем их матчить, если они не входят в иерархии наследования?
λ
opaque type Email <: String = String
vs
type Email = String @@ EmailTag
vs
type Email = String @@ EmailTag
λ
Что будет, если String поматчить по Email? Тэг можно вычислить за счет подмеса. Опак нельзя
λ
Зачем - не знаю
SA
Т.е. у нас есть String, и нам нужно понять, является ли он Email?
λ
Ну да. Я правда не уверен, что это хороший паттерн. То есть даже не знаю, хуже это или лучше. Или одинаково
SA
Так информации о тегах нет в рантайме, матчинг не должен работать?
λ
Там же класс каст идет к String with EmailTag
λ
Надо проверить конечно всё, что я тут написал.
SA
java.lang.String - он final. В tagged types это наследование "липовое", в рантайме будет тот же String. За это его и любят больше, чем кейс классы - за отсутствие оверхеда
λ
Да, всё верно.
λ
Выше можно не читать.
λ
Дело там даже не столько в финальности String, сколько в способе тэгирования.