zbMATH — the first resource for mathematics

Adaptation in HOT languages comparing polymorphism, modules, and objects. (English) Zbl 0989.68015
Hoare, Tony (ed.) et al., Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 - August 6, 2000. Amsterdam: IOS Press. NATO Sci. Ser. III, Comput. Syst. Sci. 180, 97-132 (2001).
Summary: Higher-Order Typed (HOT) languages are characterized by advanced static type systems and higher-order features like first-class functions or objects. Another property claimed for HOT languages is that they provide good support for writing easily adaptable programs and libraries (i.e. they support code reuse). The functional and object-oriented subfamilies of the HOT family take different approaches to adaptation, with the functional languages depending heavily on parameterization (at the value, type, and module level), and the object-oriented languages depending primarily on subtyping and implementation inheritance. We compare these two approaches in terms of their type systems and discuss some methodological issues such as “open recursion” that distinguish them.
For the entire collection see [Zbl 0972.00060].
68N15 Theory of programming languages
HOT languages