ЮБ
Хотя идея крутая, спору нет. Но tagged типы перекрывают refined полностью
Size: a a a
2020 April 28
ЮБ
А в 4 в чем именно ограничения?
Ну захочешь ты какую-нибудь хитрожопую проверку, которой нет в рефайнде. И что ты делать будешь? В приватном конструкторе ты можешь вообще любую проверку впихнуть.
ΛВ
Ну захочешь ты какую-нибудь хитрожопую проверку, которой нет в рефайнде. И что ты делать будешь? В приватном конструкторе ты можешь вообще любую проверку впихнуть.
Напишу свой предикат
ЮБ
В рефайнде ты тоже можешь, но там через хитрые тайпклассы это надо описывать, геморой ещё то
ΛВ
Там в доке написано, как их писать
ЮБ
Но зачем? КОгда можно просто в конструкторе сделать провеку?
ΛВ
Но зачем? КОгда можно просто в конструкторе сделать провеку?
90% времени мне нужны простые кейсы
ΛВ
Которые выливаются в бойлерплейт
ЮБ
Какой бойлерплейт?
ЮБ
Рефайнд как раз таки добавляет много бойлерплейта
M
Валидейтед - более широкое более и оно покрывает то, что не покрывается напрямую рефайндом. Но, кстати, может быть покрыто рефайндом сбоку. Что-то вроде (но это не совсем точно, надо убедиться, что перекрытия типов нет - в любом случае это выполнимо. И на тегах тоже):
`
object Validated extends NewType0 {
type Type[Predicat,T] = Newtype[T], Ops[Predicat,T]]
def apply(v:T)(implicit C:CheckPredicat[Predicat,T]):Either, Option, XYZ =
}
type Validated[P,T] = Validated.Type[P,T]
`
`
object Validated extends NewType0 {
type Type[Predicat,T] = Newtype[T], Ops[Predicat,T]]
def apply(v:T)(implicit C:CheckPredicat[Predicat,T]):Either, Option, XYZ =
}
type Validated[P,T] = Validated.Type[P,T]
`
ΛВ
Написание этих конструкторов
ΛВ
Кидание ошибок, написание этих конструкторов и самой логики внутри, декодеры, энкодеры делать, котовые тайпклассы некоторые
ΛВ
В рефайнд это занимает две строки, одна тайпалиас объявить, вторая обжект написать, а тайпклассы импортируются
M
Я не совсем об этом. Я о том, что нет смысла выносить это в тип. Достаточно сделать свой Amount, который невозможно сконструировать с невалидным значением. То есть достаточно рантайм конструктора, который возрвщает Option или Either. То, как сделано в Refined, где проверяются литералы, на мой взгляд довольно бесполезно. Вот мы сейчас его используем вперемешку с supertagged и всё больше переносим с refined на tagged типы, потому что проверка литералов не нужна, нужны только безопасные конструкторы.
Все правильно про литералы - бесполезные почти всегда. Но слово рефайнд - оно не обязательно относится к компайл тайм - это просто уточненный тип, когда мы кодируем в типе
ЮБ
Ну, ок. Мне важнее отказ от AnyVal и нормальные ошибки
ЮБ
Все правильно про литералы - бесполезные почти всегда. Но слово рефайнд - оно не обязательно относится к компайл тайм - это просто уточненный тип, когда мы кодируем в типе
Я скорее про конкретную либу
ΛВ
Ну, ок. Мне важнее отказ от AnyVal и нормальные ошибки
С этим согласен, меня пока беспокоит производительность, но чёт люди говорят не о ней
M
90% времени мне нужны простые кейсы
99% времени ты получаешь данные извне, а не из статик данных в коде. Поэтому компайл тайм фича с литералами оказывается бесполезной. А реализовать рефайнды - а оставшаяся часть в либе scala-refined крайне убогая, которая на 100% покрывается тегами, ньютайпами - да еще и удобства и свободы действий поболе будет)
ЮБ
99% времени ты получаешь данные извне, а не из статик данных в коде. Поэтому компайл тайм фича с литералами оказывается бесполезной. А реализовать рефайнды - а оставшаяся часть в либе scala-refined крайне убогая, которая на 100% покрывается тегами, ньютайпами - да еще и удобства и свободы действий поболе будет)
двачую бро