4. Typing and polymorphism
Typing also brings flexibility by allowing code reuse and specialization. The notion of polymorphism makes it possible to write the code of a component (procedure, function, method...) independently of the type of its arguments. This makes it possible to define algorithms that can operate on data of different types. The term polymorphism, which designates the character of that which can take various forms, thus indicates that the nature (type) of the arguments or result can vary when a given component is called, while preserving the security of execution provided by typing.
4.1 Classification
This flexibility encompasses different situations of reuse and specialization. Some codes can be completely factorized, as in the case of counting the elements of a list,...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Typing and polymorphism
Other type systems
Article included in this offer
"Software technologies and System architectures"
(
230 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
