это да

скалак даже хуже себя ведет, говорит тайп мисматч на первом попавшемся параметре рандомного оверлоада

дотти норм

Это всего лишь ньютайпы

если у тебя две перегрузки по 7 аргументов - то ты естественно делаешь что-то не так. Но в школе тебя наверняка должны были учить - "исключение подтверждает правило"

что не мешает делать рефайнды на них

То есть они дают возможность в типе описать ограничения?

А зачем тебе в типе ограничения?

object CumulativeCoefficient extends TaggedType0[BigDecimal]{
  val max:Type = TaggedOps(this)(BigDecimal(2)) 
  
  //... или любая другая логика вместо Either
  def apply(value:Long):Either[String,Type] = ...validate > 0 and <= max..
}
type CumulativeCoefficient = CumulativeCoefficient.Type

@funfunfine как видишь - у тебя нет возможности затегать значение без проверки встроенных предикатов - это и есть суть рефайндов(и во многом валидейтед)

Ex: Width, Age, Amount

А почему это плохо?

Я понимаю бизнес потребность, но я не понимаю, зачем это выносить в тип

что плохо? я показал, что на тегах-ньютайпах можно построить рефайнды и сам тип гарантирует наличие валидных данных внутри - читай "описывает ограничения" (мы говорим Ширина - и точно знаем, что она не отрицательная)

Но ведь ты написал Amount - ты уже закодировал ментально ограничения, вынес в тип. А раз вынес - значит появилась необходимость по максимуму исключить возможность выстрела в ногу, который нарушит твое кодирование и внутреннюю гармонию)

Я не совсем об этом. Я о том, что нет смысла выносить это в тип. Достаточно сделать свой Amount, который невозможно сконструировать с невалидным значением. То есть достаточно рантайм конструктора, который возрвщает Option или Either. То, как сделано в Refined, где проверяются литералы, на мой взгляд довольно бесполезно. Вот мы сейчас его используем вперемешку с supertagged и всё больше переносим с refined на tagged типы, потому что проверка литералов не нужна, нужны только безопасные конструкторы.

А, не так тебя понял.

Касательно этого: выходит, что тут надо много бойлерплейта писать по сравнению с рефайндом вроде

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

У рефайнда есть ряд минусов относительно tagged типов:
1. Он построен на AnyVal и наследует все его проблемы.
2. Ошибки отвратительные.
3. Апи довольно уродское. Но это моё имхо.
4. Ты ограничен функциональностью библиотеки.

Я короче довольно сильно разочаровался в этой либе в последнее время.

А в 4 в чем именно ограничения?