Type inference for variable definitions and function returns - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2022

Type inference for variable definitions and function returns

Résumé

We propose the inclusion of the so-called auto feature for variable definitions and function types into C. This feature allows to infer types from expressions that are used in initializers or return statements. This is part of a series of papers for the improvement of type-generic programming in C that has been introduced in N2734.

Mots clés

Fichier principal
Vignette du fichier
n2923.pdf (458.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03106763 , version 1 (12-01-2021)
hal-03106763 , version 2 (10-06-2021)
hal-03106763 , version 3 (06-10-2022)

Licence

Paternité

Identifiants

  • HAL Id : hal-03106763 , version 3

Citer

Jens Gustedt. Type inference for variable definitions and function returns: proposal for C23. [Research Report] N2923, ISO JCT1/SC22/WG14. 2022, pp.22. ⟨hal-03106763v3⟩
131 Consultations
166 Téléchargements

Partager

Gmail Facebook X LinkedIn More