NOTIFICATION: These examples are provided for educational purposes. The use of this code and/or information is under your own responsibility and risk. The information and/or code is given ‘as is’. I do not take responsibilities of how they are used.
If any of these answers is incorrect or you wish a different explanation, please let me know by commenting.
- What means to be overloaded?
When a name refer to more than one object at a given section of the program, its say that the name is overloaded. - What does mean overloading subroutine names?
When a given name refer to an arbitrary number of subroutines in the same scope, as long as the subroutine differ only in the number of arguments or the types of their arguments, they are said to be overloading subroutine names. - What is coercion?
When a compiler automatically convert a value from one type into a value of another type when the second type is required by the surrounding context, it said to be coercion. - What does polymorphism means?
Polymorphism means having multiple forms. - What does polymorphism means in programming languages?
Polymorphism means that a single subroutine can accept unconverted arguments of multiple types. - What is a parametric polymorphism?
Parametric polymorphism is when a code take a type or set of types as a parameter in implicity or explicitly way. - What is generics?
Generics is a way of explicit parametric polymorphism. The implementation is due when multiple copies of polymorphic code are created, each specialised for each need of a concrete type. - What is ad hoc polymorphism?
Ad hoc polymorphism is known as overloading by some authors. In the same way that generics allow to create automatically a copy of a code for every needed type, a similar way is performed with a calling syntax and a generated code. - What is a first-class status?
When a value can be passed as a parameter, returned from a subroutine, and/or assigned into a variable its said to be a first-class status variable. - What is a closure?
When a deep binding is implemented by creating an explicit representation such as a subroutine executed at present time (referencing environment) together with a reference to the subroutine its said to be a closure.
© 2010, Alejandro G. Carlstein Ramos Mejia. All rights reserved.