C Type Inference (Let and Var)

Type Inference.c

#define let(name,value) const __typeof__ (value) name = value;
#define var(name,value) __typeof__ (value) name = value;

int main(int argc, char *argv[]) {
    let(x,3); // const int x = 3;
    var(y,5); // int y = 5;
    
    printf("x:%i y:%i",x,y); // -> x:3 y:5
}

Hi Jaden, we have a type inference engine to C, which is able to reconstruct some types not available in the source code. Check it out: http://cuda.dcc.ufmg.br/psyche-c/