Instantiation context aware types in C++

Parragi, Zsolt and Porkoláb, Zoltán: Instantiation context aware types in C++. Conference of PhD Students in Computer Science, (11). pp. 192-194. (2018)

Cikk, tanulmány, mű cscs_2018_205-207.pdf Download (115kB)

Abstract

Programming languages usually limit the information available to types. Object oriented languages, such as C++ or Java typically define types as definition context aware, but instantiation context free: types are able to use other types and language constructs declared or defined before their definition, but they aren’t aware of where, or in which context they are instantiated. While this is practical in most situations, both for considering the compilation speed and the complexity of the language, it also limits the expressiveness of the language. In this article, we present a way instanation context aware types could be implemented in modern C++, and a few examples where they could be useful.

Actions (login required)

View Item