Differenze tra le versioni di "Continuazione"

nessun oggetto della modifica
m (Cat. Programmazione)
Le continuazioni di prima classe possono essere usate per implementare l'[[ricorsione di coda|ottimizzazione della chiamata di coda]]. La presenza sia della continuazione di prima classe che dell'ottimizzazione della chiamata di coda garantita, è uno dei punti di distinzione dello [[Scheme]] dagli altri linguaggi [[Lisp]].
 
Molti programmatori che non sono abituati alla continuazione, la trovano un concetto difficile da capire. Il [[linguaggio di programmazione esoterico]] [[Unlambda]] includesinclude questa caratteristica solo per la sua difficoltà di comprensione.
 
La continuazione è strettamente collegata alla trasformazione della [[doppia negazione]] dalla [[logica classica]] alla [[logica intuizionistica]] attravertsoattraverso l'[[isomorfismo di Curry-Howard]] e alla [[legge di Peirce]].
 
==Vedi anche==
 
[[Categoria:Programmazione]]
[[en:Continuation]]
74 497

contributi