Это продолжение этого вопроса . Я пытаюсь реализовать векторы в scala с помощью общего суперкласса, используя собственные типы: trait Vec[V] { self:V => def /(d:Double):Vec[V] def dot(v:V):Double def norm:Double = math.sqrt(this dot...

У меня есть черта, которая принимает параметр типа, и я хочу сказать, что объекты, реализующие эту черту, также будут соответствовать этому параметру типа (с использованием дженериков для совместимости с Java) Следующий код: trait...

Тип self выглядит следующим образом: trait A { self: String => } Это говорит о том, что признак A (или его подтип) должен наследовать класс String . За ключевым словом self следует : , аналогичный переменной в var s: String , где...

Задавая/редактируя этот вопрос , я заметил, что вы можете сделать это, чтобы с полной статической безопасностью достичь точки исходного «любопытно повторяющегося шаблона / общего шаблона»: trait MyTrait[This <: MyTrait[This]] { this: This...

Я позаимствовал прием MyType у Landei здесь . Но недавно я столкнулся с проблемой с типом self. Пример показывает, что я имею в виду: trait Excitable[SELF] { self: SELF => def withMoreAnger: SELF } trait Animal[SELF0] { self: SELF0...

ситуация: trait Operation { def something: Double } trait OperationPlus { this: A => override def something: Double = x + y } trait OperationMinus { this: A => override def something: Double = x - y } case class A(x: Double, y:...

Это не компилируется: trait FileSystem { type P <: Path[this.type] } trait Path[S <: FileSystem] { self: fileSystem.P => val fileSystem: S } Как ограничение собственного типа может зависеть от члена-значения в этом свойстве?

abstract class Bar[M] { def print(t: M): Unit = { println(s"Bar: ${t.getClass()}") } } trait Foo[M] { this: Bar[M] => def print2(t: M): Unit = { println(s"Foo: ${t.getClass()}") } } object ConcreteBar extends Bar[Int] with...