Linked Data Explorer
Functional extensions to an object-oriented programming language
Abstract: "Kea is a strongly-typed, object-oriented programming language with some functional and procedural features. However, the functional aspects of the language are rather weak. To overcome these limitations, extensions to the language are proposed that are modelled on the capabilities of strongly-typed functional languages, transformed and integrated within the object-oriented framework of Kea. Functions are strongly typed; they may be higher-order and implicitly polymorphic. A function may be multivariant, corresponding to a strongly-typed form of the multi-methods of CLOS (Keene, 1989). Multivariant functions permit despatching to be avoided in some cases and may be used to avoid the restrictions of the contravariance rule."
- "Abstract: "Kea is a strongly-typed, object-oriented programming language with some functional and procedural features. However, the functional aspects of the language are rather weak. To overcome these limitations, extensions to the language are proposed that are modelled on the capabilities of strongly-typed functional languages, transformed and integrated within the object-oriented framework of Kea. Functions are strongly typed; they may be higher-order and implicitly polymorphic. A function may be multivariant, corresponding to a strongly-typed form of the multi-methods of CLOS (Keene, 1989). Multivariant functions permit despatching to be avoided in some cases and may be used to avoid the restrictions of the contravariance rule.""@en
- "Functional extensions to an object-oriented programming language"@en