| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
Type inference for variable definitions and function returns: proposal for C23
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 N2638.
Keywords :
type inference
https://hal.inria.fr/hal-03106763
Contributor : Jens Gustedt <>
Submitted on : Tuesday, January 12, 2021 - 9:37:24 AM
Last modification on : Wednesday, January 13, 2021 - 2:51:13 PM
Contributor : Jens Gustedt <>
Submitted on : Tuesday, January 12, 2021 - 9:37:24 AM
Last modification on : Wednesday, January 13, 2021 - 2:51:13 PM
File
N2632.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License