Продвинутая система типов Scala

trait Store:
  type Key
  def get(k: Key): String
object Names extends Store:
  type Key = Int
  def get(k: Int): String = s"name-$k"
val key: Names.Key = 7
println(Names.get(key))

// Дополнительный контекст: Библиотечный тип расширили, и в месте вызова изменился выбор доступных операций и контекстных значений.
trait Store:
  type Key
  def get(k: Key): String
object Names extends Store:
  type Key = Int
  def get(k: Int): String = s"name-$k"
val key: Names.Key = 7
println(Names.get(key))

trait Store:
  type Key
  def get(k: Key): String
object Names extends Store:
  type Key = Int
  def get(k: Int): String = s"name-$k"
val key: Names.Key = 7
println(Names.get(key))
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

def twice[F[_], A](fa: F[A])(using cats.Functor[F]): F[(A,A)] =
  cats.Functor[F].map(fa)(a => (a,a))

// Дополнительный контекст: Типовую конструкцию перенесли в другой модуль, где набор импортов и область поиска `given` отличаются.
def twice[F[_], A](fa: F[A])(using cats.Functor[F]): F[(A,A)] =
  cats.Functor[F].map(fa)(a => (a,a))

def twice[F[_], A](fa: F[A])(using cats.Functor[F]): F[(A,A)] =
  cats.Functor[F].map(fa)(a => (a,a))
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

object UserId:
  opaque type UserId = Long
  def from(n: Long): Option[UserId] = Option.when(n > 0)(n)
  extension (id: UserId) def value: Long = id

// Дополнительный контекст: Обобщённую сигнатуру опубликовали в API, после чего появился ещё один допустимый экземпляр типа.
object UserId:
  opaque type UserId = Long
  def from(n: Long): Option[UserId] = Option.when(n > 0)(n)
  extension (id: UserId) def value: Long = id

object UserId:
  opaque type UserId = Long
  def from(n: Long): Option[UserId] = Option.when(n > 0)(n)
  extension (id: UserId) def value: Long = id
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

type Elem[X] = X match
  case String => Char
  case Array[t] => t
  case Iterable[t] => t

// Дополнительный контекст: Библиотечный тип расширили, и в месте вызова изменился выбор доступных операций и контекстных значений.
type Elem[X] = X match
  case String => Char
  case Array[t] => t
  case Iterable[t] => t

type Elem[X] = X match
  case String => Char
  case Array[t] => t
  case Iterable[t] => t
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

enum Access:
  case Reader, Writer, Admin
def canDelete(role: Access): Boolean = role match
  case Access.Admin => true
  case Access.Reader | Access.Writer => false
println(canDelete(Access.Writer))

// Дополнительный контекст: Обобщённую сигнатуру опубликовали в API, после чего появился ещё один допустимый экземпляр типа.
enum Access:
  case Reader, Writer, Admin
def canDelete(role: Access): Boolean = role match
  case Access.Admin => true
  case Access.Reader | Access.Writer => false
println(canDelete(Access.Writer))

enum Access:
  case Reader, Writer, Admin
def canDelete(role: Access): Boolean = role match
  case Access.Admin => true
  case Access.Reader | Access.Writer => false
println(canDelete(Access.Writer))
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.

trait Api:
  type Result
  def run(): Result
object IntApi extends Api:
  type Result = Int
  def run(): Int = 42
val result: IntApi.Result = IntApi.run()
println(result)

// Дополнительный контекст: Обобщённую сигнатуру опубликовали в API, после чего появился ещё один допустимый экземпляр типа.
trait Api:
  type Result
  def run(): Result
object IntApi extends Api:
  type Result = Int
  def run(): Int = 42
val result: IntApi.Result = IntApi.run()
println(result)

trait Api:
  type Result
  def run(): Result
object IntApi extends Api:
  type Result = Int
  def run(): Int = 42
val result: IntApi.Result = IntApi.run()
println(result)
// На ревью требуется устранить причину дефекта, не скрывая её приведением типа или значением по умолчанию.