Can anyone explain me this code in scala ?

Question

Can anyone explain me the Scala code written below?

 trait A extends B {
  self =>
  type S >: self.type <: A
  def instance: S = self
}

Sure you can find something like docs.scala-lang.org/tour/self-types.html — cchantep
– cchantep, Commented May 3, 2018 at 8:27

volia17 · Accepted Answer · 2018-05-03 11:11:48Z

8

The line self => is a self type declaration, with no type, so in trait A, self is a synonym of this.

The line type S >: self.type <: A defines a type S with upper bound and lower bound to it. So S must be a subtype of A and a supertype of type of self (which is a concrete type of A)

Then the line def instance: S = self defines a method without arguments, a kind of property named instance, which return this casted to S.

Finally, why this code, i don't know, i don't like this kind of code.

edited May 3, 2018 at 11:11

answered May 3, 2018 at 8:51

volia17

93817 silver badges31 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Can anyone explain me this code in scala ?

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related