Versione delle 18:46, 1 nov 2004 modifica Sbisolo (discussione \| contributi) Utenti autoverificati 40 582 modifiche m Cat. Programmazione ← Differenza precedente		Versione delle 19:20, 1 nov 2004 modifica annulla Hellis (discussione \| contributi) Utenti autoverificati 74 532 modifiche Nessun oggetto della modifica Differenza successiva →
Riga 15: 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]] ~~includes~~include questa caratteristica solo per la sua difficoltà di comprensione. La continuazione è strettamente collegata alla trasformazione della [[doppia negazione]] dalla [[logica classica]] alla [[logica intuizionistica]] ~~attravertso~~attraverso l'[[isomorfismo di Curry-Howard]] e alla [[legge di Peirce]]. ==Vedi anche== Riga 34: [[Categoria:Programmazione]] [[en:Continuation]]

Continuazione: differenze tra le versioni