Inheritance/Single: Difference between revisions

Content deleted Content added
added slate language
WP-style note about implementation inheritance
Line 3: Line 3:
[[Category:Type System]]
[[Category:Type System]]
[[Category:Encyclopedia]]
[[Category:Encyclopedia]]
:''This task is about derived types; for implementation inheritance, see [[Polymorphism]].

Inheritance is an operation of [[type algebra]] that creates a new type from one or several parent types. The obtained type is called '''derived type'''. It inherits some of the properties of its parent types. Usually inherited properties are:
Inheritance is an operation of [[type algebra]] that creates a new type from one or several parent types. The obtained type is called '''derived type'''. It inherits some of the properties of its parent types. Usually inherited properties are:
* methods
* methods