11. Callbacks e continuation-passing

Este capítulo nasce das 30 questões publicadas sobre Callbacks e continuation-passing. A leitura do acervo revelou 30 núcleos de conhecimento, aqui reorganizados como uma explicação progressiva: primeiro o vocabulário e o modelo mental, depois os mecanismos, as decisões de implementação, os limites e a forma de verificar o comportamento do sistema.

Com modelos e componentes definidos, estudamos tarefas que avançam no tempo e disputam recursos. Ordem, estado compartilhado, sincronização, cancelamento e falhas precisam ser analisados em conjunto. Este é o capítulo 11 de 20 da disciplina Programação Assíncrona e Concorrência. Ele retoma Modelo de atores e passagem de mensagens e utiliza essa base para avançar. Na sequência, estudaremos Promises e futures.

O fio condutor

O desenvolvimento de software começa com um problema e avança por decisões que precisam permanecer compreensíveis e verificáveis. Requisitos orientam modelos; modelos orientam código e arquitetura; testes verificam comportamento; e a operação devolve informações para o próximo ciclo. Uma falha importante no início tende a se espalhar pelas etapas seguintes.

Neste capítulo, use Callbacks e continuation-passing para acompanhar quatro perguntas: qual problema precisa ser resolvido, como o mecanismo funciona, que consequências a escolha produz e como o resultado será verificado. Essa sequência transforma termos técnicos em decisões que podem ser explicadas e testadas.

Parte 1 — Fundamentos e vocabulário

Começamos por Parte 1 — Fundamentos e vocabulário, pois essa base organiza os conceitos e exemplos que aparecerão no restante do capítulo.

Em continuation-passing style, a continuação do cálculo

O ponto de partida é estabelecer o significado do conceito e o problema que ele procura organizar. Em continuation-passing style, a continuação do cálculo é explicitada como uma função e passada à operação. Quando o resultado fica disponível, a operação transfere o controle para essa função, passando-lhe os dados pertinentes. Isso permite representar operações assíncronas sem bloquear o fluxo enquanto se aguarda o resultado. O ponto definidor é a continuação explícita, e não o simples fato de a linguagem tratar funções como valores. A regra ganha sentido quando suas consequências orientam a implementação.

Para aplicar Em continuation-passing style, a continuação do cálculo, acompanhe a execução desde a entrada até a saída e anote pré-condições, mudança de estado, custo e falhas possíveis. Assim o conceito deixa de ser um rótulo e passa a orientar decisões.

Use como teste da compreensão: No estilo continuation-passing, uma operação recebe uma função que representa o que deve ocorrer depois de seu resultado estar disponível, em vez de necessariamente devolver esse resultado diretamente ao chamador. Depois verifique a afirmação com execução controlada, teste automatizado, análise do contrato, medição ou documentação da versão correspondente. A evidência deve reproduzir a propriedade afirmada, inclusive nos casos de erro e de fronteira.

Entregar um callback transfere à biblioteca parte do controle sobre sua execução,

A partir dessa distinção, o próximo elemento completa o fluxo. Entregar um callback transfere à biblioteca parte do controle sobre sua execução, fenômeno conhecido como inversão de controle. Sem um contrato confiável, a biblioteca pode chamar a função cedo ou tarde, nenhuma vez, mais de uma vez ou com argumentos inesperados. O chamador ainda controla o corpo do callback, mas não controla sozinho as circunstâncias de sua invocação. A robustez depende de documentação, testes e, quando necessário, proteções como um invólucro once. Observe como definição, mecanismo e efeito permanecem ligados.