Se ho un puro linguaggio di programmazione funzionale con * ottimizzazione molto molto intelligente * proccess, è possibile ragionare sull'utilizzo della memoria, semplicemente guardando la firma del tipo?
add :: Int -> [Int] -> [Int]
F. E. Se la risposta alla mia domanda fosse sì, la funzione add assegnerebbe esattamente (1 + n + y) * sizeof (Int).
Il motivo per cui ho posto la domanda qui è che faccio fatica a trovare un contro esempio.