Concepts

Abstract

Generic programming has emerged as an important technique for the development of highly reusable and efficient software libraries. In C++, generic programming is enabled by the flexibility of templates, the C++ type parametrization mechanism. However, the power of templates comes with a price: generic (template) libraries can be more difficult to use and develop than non-template libraries and their misuse results in notoriously confusing error messages. As currently defined in C++98, templates are unconstrained, and type-checking of templates is performed late in the compilation process, i.e., after the use of a template has been combined with its definition. To improve the support for generic programming in C++, we introduce concepts to express the syntactic and semantic behavior of types and to constrain the type parameters in a C++ template. Using concepts, type-checking of template definitions is separated from their uses, thereby making templates easier to use and easier to compile. These improvements are achieved without limiting the flexibility of templates or decreasing their performance-in fact their expressive power is increased. This paper describes the language extensions supporting concepts, their use in the expression of the C++ Standard Template Library, and their implementation in the ConceptGCC compiler. Concepts are candidates for inclusion in the upcoming revision of the ISO C++ standard, C++0x.

Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models

“…For efficiency, we do not rely on an explicit model-to-model transformation from the DSL models to the format of the SMSs. Instead, we use notions of generic programming [51], where the SMS can be seen as a generic component that is instantiated by a binding to the target meta-model. As next section shows, this target meta-model can be a domain meta-model (specifying the abstract syntax of a DSL), or the linguistic meta-model of the modelling environment.…”

The impact of uncertainty on optimal emission policies

“…It turns out that, when considering a single decision step and for fairly general and realistic assumptions on how costs and benefits depend on abatement levels, the highest global benefits are obtained if all decision makers reduce emissions by certain "optimal" amounts (Finus et al, 2003;Helm, 2003;Heitzig et al, 2011).…”

Modular implicits

“…show (7) Unlike constraints in Haskell, Scala's implicit parameters must always be added to a function explicitly. The need for a function to have an implicit parameter cannot be inferred from the function's definition.…”