Type inference for variable definitions and function returns - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2022

Type inference for variable definitions and function returns

Abstract

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.

Keywords

Fichier principal
Vignette du fichier
n2923.pdf (458.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

  • HAL Id : hal-03106763 , version 3

Cite

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⟩
111 View
130 Download

Share

Gmail Facebook Twitter LinkedIn More