AK
потому что хрень какая-то
зря ты, крутая же вещь
PersonAge extends PositiveNumber, Integer, NotGreaterThan200?Size: a a a
2020 July 03
DT
типа
AK
я не знаю как это реализовано, но суть в том, что ты можешь создавать типы со сложными правилами
A
типа
PersonAge extends PositiveNumber, Integer, NotGreaterThan200?scala> type ZeroToOne = Not[Less[W.`0.0`.T]] And Not[Greater[W.`1.0`.T]]
defined type alias ZeroToOne
scala> refineMV[ZeroToOne](1.8)
<console>:40: error: Right predicate of (!(1.8 < 0.0) && !(1.8 > 1.0)) failed: Predicate (1.8 > 1.0) did not fail.
refineMV[ZeroToOne](1.8)
A
Комбинаторы на уровне типов, которыми ты собираешь нужый тип.
AK
scala> type ZeroToOne = Not[Less[W.`0.0`.T]] And Not[Greater[W.`1.0`.T]]
defined type alias ZeroToOne
scala> refineMV[ZeroToOne](1.8)
<console>:40: error: Right predicate of (!(1.8 < 0.0) && !(1.8 > 1.0)) failed: Predicate (1.8 > 1.0) did not fail.
refineMV[ZeroToOne](1.8)
красота
A
красота
scala> val r2: String Refined Regex = "(a|b"
<console>:38: error: Regex predicate failed: Unclosed group near index 4
вот тоже как пример =)
<console>:38: error: Regex predicate failed: Unclosed group near index 4
вот тоже как пример =)
DT
чем это лучше условного трейта, абстрактного класса или вообще интерфейса с фабрикой типа
ZeroToOne который делает то же самое?AK
больше бойлерплейта нужно и у тебя это проверяется в компайл тайме(в случае с типами)
DT
а если это не известно в компайл тайме?
AK
ну как неизвестно
DT
ну так, много ли надо валидировать всякой херни из компайл-тайм баундари?
AK
у тебя тип нужный не создастся и будет рантайм еррор
AK
насколько я понимаю
AK
а уже внутри системы ты уверен что у тебя всё четко работает
A
чем это лучше условного трейта, абстрактного класса или вообще интерфейса с фабрикой типа
ZeroToOne который делает то же самое?Тем что ты на лету собираешь нужный тип из комбинаторов. И получаешь сразу валидацию.
A
а если это не известно в компайл тайме?
Эти типы и в рантайме работают.
DT
Тем что ты на лету собираешь нужный тип из комбинаторов. И получаешь сразу валидацию.
ну т.е. кроме сахара больше ничего)
AK
php это сахар для Си