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.