Astrazione via parametrizzazione
l’introduzione dei parametri permette di descrivere un insieme (anche infinito) di computazioni diverse con un singolo programma che le astrae tutte
x * x + y * y
- descrive una computazione
lx,y:int.(x * x + y * y)
- descrive tutte le computazioni che si possono ottenere chiamando la procedura, cioč applicando la funzione ad una opportuna n-upla di valori
lx,y:int.(x * x + y * y)(w,z)
- ha la stessa semantica dell’espressione w * w + z * z