Continuação :
Em ciência da computação e programação, uma continuação é uma representação abstrata do estado de controle de um programa de computador. Uma continuação reifica o estado de controle do programa, ou seja, a continuação é uma estrutura de dados que representa o processo computacional em um determinado ponto na execução do processo; a estrutura de dados criada pode ser acessada pela linguagem de programação, em vez de estar oculta no ambiente de tempo de execução. Ele contém informações como a pilha atual do processo (incluindo todos os dados cuja vida útil está dentro do processo, por exemplo, "variáveis locais"), bem como o ponto do processo na computação. Uma instância de continuação pode ser usada posteriormente como uma estrutura de controle; após a invocação, retomará a execução a partir do ponto de controle que representa. A "continuação atual"
e tente implementar o operador ambíguo de McCarthy :
Em 1963, John McCarthy, o inventor de Lisp, publicou o artigo A Basis for a Theory Matemático da Computação, no qual propôs a função (no sentido da palavra programa de computador) amb (.,.). A idéia é que amb (x, y) seja primeiro igual a x. Porém, se mais tarde no cálculo for constatado que isso leva a algum tipo de contradição, o valor de x é retraído e substituído por y. Este é um negócio muito mais complexo do que pode parecer a princípio. Retrair um valor significa essencialmente retornar o estado inteiro da computação para onde estava quando amb retornou o valor x e, em seguida, diminuiu o valor de y. Isso significa, de alguma forma, congelar e copiar todo o estado quando x foi retornado pela primeira vez. Quando uma contradição é encontrada, todo o estado do programa é descartado e substituído pela versão congelada, que é reativada. Esses estados congelados são conhecidos como continuações. De muitas maneiras, é como uma declaração da GOTO sobre o ácido. Isso pode causar um salto para um ponto arbitrário no seu código. Mas as continuações são mais agradáveis que as GOTOs, porque são mais passíveis de raciocínio lógico.