Skip to Main content Skip to Navigation
Reports

Type inference for variable definitions and function returns: proposal for C23

Jens Gustedt 1
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
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 : type inference
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/hal-03106763
Contributor : Jens Gustedt <>
Submitted on : Thursday, June 10, 2021 - 10:49:36 AM
Last modification on : Friday, June 11, 2021 - 3:34:28 AM

File

n2735.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-03106763, version 2

Citation

Jens Gustedt. Type inference for variable definitions and function returns: proposal for C23. [Research Report] N2735, ISO JCT1/SC22/WG14. 2021, pp.23. ⟨hal-03106763v2⟩

Share

Metrics

Record views

7

Files downloads

50