[g0t3nk5]

Sto studiando per un'esame sui linguaggi di programmazione. Mi sono imbattuto in questa domanda..

Si consideri il seguente frammento in uno pseudolinguaggio con tipi statici, dove f e una certa funzione di due argomenti:

int i,j;
float y,z;
y = f(i,j);
z = f(y,i);

Si fornisca (i) una possibile intestazione per la funzione f e (ii) le ipotesi che occorre fare sul sistema di tipi dello pseudolinguaggio anche l'intestazione data in (i) sia corretta.

La prima risposta che mi viene in mente è che se il linguaggio supporta funzioni polimorfe, potrei semplicemente avere una funzione f così definita:

float f(<T1> param1, <T2> param2)