Oℕ
какая-то сигнатура
def refine[H <: HList](h:H)(implicit ev:Evidence[H, Etalon]) - эвиденс легко проверит, что лист не пустой и встречается не более одного экземпляра из эталонаSize: a a a
2020 January 24
M
Не нужно сортировать. Имплисит проверкой.
^ . Имплисит сам проверит, что лист не пустой и содержит не более одного экземпляра из набора перечисленных в эталоне
YS
покажи код. как ты это планируешь использовать
type A
type B
type C
type D
type Error
type Input
type ABCDResult
def parse(input: Input): Either[Error, ABCDResult] = {
val aOpt: Option[A] = ???
val bOpt: Option[B] = ???
val cOpt: Option[C] = ???
val dOpt: Option[D] = ???
Either.cond(aOpt.nonEmpty || bOpt.nonEmpty || cOpt.nonEmpty || dOpt.nonEmpty, ABCDResult(...), Error)
}
type B
type C
type D
type Error
type Input
type ABCDResult
def parse(input: Input): Either[Error, ABCDResult] = {
val aOpt: Option[A] = ???
val bOpt: Option[B] = ???
val cOpt: Option[C] = ???
val dOpt: Option[D] = ???
Either.cond(aOpt.nonEmpty || bOpt.nonEmpty || cOpt.nonEmpty || dOpt.nonEmpty, ABCDResult(...), Error)
}
YS
супер-обобщенно
YS
идея в том, что для ABCDResult описаны такие инварианты, что в него не засунуть невалидные данные
YS
естественно потом будет аккумуляция ошибок, Nel в сигнатуре, either/validated вместо option
YS
и т.д.
M
type A
type B
type C
type D
type Error
type Input
type ABCDResult
def parse(input: Input): Either[Error, ABCDResult] = {
val aOpt: Option[A] = ???
val bOpt: Option[B] = ???
val cOpt: Option[C] = ???
val dOpt: Option[D] = ???
Either.cond(aOpt.nonEmpty || bOpt.nonEmpty || cOpt.nonEmpty || dOpt.nonEmpty, ABCDResult(...), Error)
}
type B
type C
type D
type Error
type Input
type ABCDResult
def parse(input: Input): Either[Error, ABCDResult] = {
val aOpt: Option[A] = ???
val bOpt: Option[B] = ???
val cOpt: Option[C] = ???
val dOpt: Option[D] = ???
Either.cond(aOpt.nonEmpty || bOpt.nonEmpty || cOpt.nonEmpty || dOpt.nonEmpty, ABCDResult(...), Error)
}
это ты показываешь как раз рантайм часть, в которой компайл тайм тебе нах не нужен. ты покажи как ты потом работать собираешься с ABCDResult и где действительно показана необходимость компайл тайм ограничений на абцд.
если у тебя АБСД строится исключительно в рантайме, то просто убери всякую возможность построить АБЦД в компайл тайме обходя базовую проверку и все проблемы у тебя сами исчезнут
если у тебя АБСД строится исключительно в рантайме, то просто убери всякую возможность построить АБЦД в компайл тайме обходя базовую проверку и все проблемы у тебя сами исчезнут
M
естественно потом будет аккумуляция ошибок, Nel в сигнатуре, either/validated вместо option
все это никак не отражает необходимость компайл тайм проверок сложно-составного типа
HV
господа, такой вопрос
HV
если мы пишем class A[T] { ... } или trait B[T] { ... }
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
ΛВ
если мы пишем class A[T] { ... } или trait B[T] { ... }
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
полиморфный (параметрически) тип А/В?
HV
полиморфный (параметрически) тип А/В?
так а конкретно применительно к классу?
HV
полиморфный класс?
AI
обобщенный класс?
HV
обобщенный класс?
вот я тоже нашёл это в доках скалы на русском
HV
но насколько это употребляемое название?
HV
если я скажу так, меня поймут?
AI
всегда этим термином пользуюсь, когда о дженериках говорю
Oℕ
если мы пишем class A[T] { ... } или trait B[T] { ... }
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
ну т.е. какую-нибудь конструкцию, параметризованную типом Т, как она называется по-русски в общем?
я нашёл в интернете упоминания на английском: generic class/trait
а как правильно назвать по-русски?
по-русски тебя всегда поймут