Improve type generic programming
Résumé
C already has a variaty of interfaces for type-generic programming, but lacks a systematic approach that
provides type safety, strong ecapsulation and general usability. This paper is a summary paper for a series
that provides improvements through
N2632. type inference for variable definitions (auto feature) and function return
N2633. function literals and value closures
N2634. type-generic lambdas (with auto parameters)
N2635. lvalue closures (pseudo-references for captures)
The aim is to have a complete set of features that allows to easily specify and reuse type-generic code
that can equally be used by applications or by library implementors. All this by remaining faithful to C’s
efficient approach of static types and automatic (stack) allocation of local variables, by avoiding superfluous
indirections and object aliasing, and by forcing no changes to existing ABI.
Origine : Fichiers produits par l'(les) auteur(s)