Производительность тебя беспокоит правильно. Когда мы лепим монадки - у них зачастую нет альтернатив и потому мы жертвуем производительностью в угоду всем фишкам, которые получаем. Но с ЭниВал приходится жертвовать производительностью на ровном месте ничего не получая взамен и эта потеря в большом проекте весьма ощутима (и оверхед не только в процессе оборачивания, но и сопутствующая нагрузка двойных указателей на менеджмент обьектов в памяти внутри жвм) - спрашивается зачем нам энивал, который ничего не дает, но забирает?

Ещё раз

Рефайнед не только проверяет литералы. Он предоставляет во-первых функцию refineV, а во-вторых синтаксис специальный, который даёт вещи типа RefinedType.from(underlying):Either[...]

Вот сюда^

Погоди, и вот ты везде, где создаёшь инстанс какой-нибудь Width пишешь вот так:

RefinedType.from(underlying)

Вместо того, чтобы по боярски писать вот так:

Width(underlying)

???

RefinedType.from(underlying)

Width(underlying)

@funfunfine Вот, вот ^^ )

У нас в коде всё использование refined либы в итоге свелось вот к такому:

object ExtractedAttributeUnit extends TaggedType[String Refined NonEmpty] {
      def from(s: String): Either[String, ExtractedAttributeUnit] = refineV[NonEmpty](s).map(ExtractedAttributeUnit(_))
      def unsafeFrom(s: String): ExtractedAttributeUnit = from(s).fold(e => throw new IllegalArgumentException(e), identity)
    }
    type ExtractedAttributeUnit = ExtractedAttributeUnit.Type

Это реальный код из проекта. Ну так и нахера мне тут Refined, когда я всё равно конструкторы описываю?

RefinedType.from(underlying)

Width(underlying)

Ну да

Это же нифига не читабельно

Да вроде нет, лишняя вербозность никого ещё не убила

На вкус и цвет

Но можно и from, вместо apply использовать. Да еще и either[String,] заменить на бизнесовые ошибки.

Вобщем, чем глубже вникать - тем больше минусов можно найти в прибитой гвоздями реализации в либе рефайнд

Но ведь намного читабельнее писать Width(...). А с вот этой конструкцией `

RefinedType.from(...)

` ты смешиваешь бизнес логику с какими-то техническими деталями. Это отвратительно читается. Плюс, чтобы создать какой-то тип, ты должен откуда-то из библиотеки что-то взять и дёрнуть. Получается, тип какой-то не самодостаточный — у него нет нормального конструктора.

RefinedType.from(...)

Почему фром - не нормальный конструктор?

Может тогда уж new Width писать?

А погоди, RefinedType — это типа и есть Width?

Если хочется - нормальный, но теги и не мешают тебе писать from. Хочешь так, хочешь сяк.

Да, да

А, тогда я неправильно понял