λ
вопще сильно мудреная какаято фигня, зачем оно нужно если не секрет?
Size: a a a
2020 January 24
λ
Акку
про акку не знаю, но по идее аналогично с плеем должны быть методы типа play.api.mvc.Results.Status#chunked(akka.stream.scaladsl.Source<C,?>, scala.Option<java.lang.String>, play.api.http.Writeable<C>)
play.api.mvc.Results.Status#sendPath
play.api.mvc.Results.Status#sendPath
λ
case class X[A,B=!=A,C=!=B=!=A,D=!=A=!=C=!=B](a:A,b:Option[B]...)
=:!= в шейплесе есть
YS
=:!= в шейплесе есть
точняк, спасибо! но выглядит действително мудрено слишком)
Oℕ
Скаланны, подскажите как закодировать одну штуку на типах? есть 4 типа A, B, C, D. Нужна коллекция, которая содержит минимум один элемент, и не более 1 каждого типа, при этом порядок может меняться.
A Ior B Ior C Ior D
Oℕ
Про порядок меняться - не понял
YS
A Ior B Ior C Ior D
вот да, над этим я тоже думал)
YS
Про порядок меняться - не понял
[A, B, C, D] == [D, C, B, A] и прочие перемешивания
YS
чтобы они по типам пролазили
Oℕ
Это почти никогда на типах не работает
YS
можно конечно отсортировать
Oℕ
Ну если совсем формально, то так
trait Quadro[A, B, C, D]{
def fold[R: CommutativeMonoid](
a: A => R, b: B => R, c : C => R, d : D => R): R
}
но здесь теряется свойство "не больше одного"
trait Quadro[A, B, C, D]{
def fold[R: CommutativeMonoid](
a: A => R, b: B => R, c : C => R, d : D => R): R
}
но здесь теряется свойство "не больше одного"
YS
вопще сильно мудреная какаято фигня, зачем оно нужно если не секрет?
по доменной модели так получается. Есть парсер, который может нечто распарсить, например url или html, и нужно чтобы он возвращал или набор элементов, которые не повторяются, и где есть хотя бы один, либо ошибку
Oℕ
просто непустая коллекция A, B, C, D в неопределённом порядке и количестве
YS
в общем, видимо мои вкусы очень специфичны))
M
можно конечно отсортировать
Не нужно сортировать. Имплисит проверкой.
def refine[H <: HList](h:H)(implicit ev:Evidence[H, Etalon]) - эвиденс легко проверит, что лист не пустой и встречается не более одного экземпляра из эталонаM
по доменной модели так получается. Есть парсер, который может нечто распарсить, например url или html, и нужно чтобы он возвращал или набор элементов, которые не повторяются, и где есть хотя бы один, либо ошибку
оу. парсеры - дело рантайма, компайл тайм проверки то зачем тебе?
YS
ну мне хотелось описать инвариант на уровне типов, чтобы туда физически не положить невалидные данные
Oℕ
Не нужно сортировать. Имплисит проверкой.
def refine[H <: HList](h:H)(implicit ev:Evidence[H, Etalon]) - эвиденс легко проверит, что лист не пустой и встречается не более одного экземпляра из эталонаКак закодировать, что хлист не содержит других элементов, кроме A, B, C, D?
YS
а проверяться это будет понятное дело в рантайме