Scala Self types
Simple self type example
Self types can be used in traits and classes to define constraints on the concrete classes it is mixed to. It is also possible to use a different identifier for the this using this syntax (useful when outer object has to be referenced from an inner object).
Assume you want to store some objects. For that, you create interfaces for the storage and to add values to a container:
This way those are not in the same object hierarchy, but PermanentStorage cannot be implemented without also implementing Container.