Con la bieca scusa che Leddolo ha scelto Python, mi collego a:
http://docs.python.org/ref/function.html#function
E' la guida di riferimento al linguaggio di programmazione Python e...be', gli serve. Non sono OT. Un'auto-assoluzione

.
Là dice che la definizione di una funzione è la definizione di un oggetto di tipo funzione. Non è una stranezza, anzi. Il fatto è che ci sono due modi di fare una cosa e uno dei due vale solo in alcuni casi. Il problema che io vedo è questo. Le funzioni (e le chiusure di Gafter) sono un'eccezione sintattica e le eccezioni in generale sono, in quanto deduzioni contraddittorie, veri e propi macigni per il cervello. E' il classico caso del:
<<non non alzarti dal letto>>
Devo alzarmi o no? Ci vogliono dei secondi perchè il cervello trovi una risposta corretta ad una doppia negazione.