Efeito colateral controlado: isolar na borda

Efeitos são necessários, não vilões

É fácil sair da aula anterior achando que efeito colateral é coisa ruim. Não é. Um programa que não salva nada, não mostra nada e não fala com ninguém é inútil. O efeito é o ponto onde o software encosta no mundo: gravar o pedido, exibir o resultado, enviar a notificação. A pureza nunca foi sobre banir o efeito, e sim sobre não deixá-lo vazar para onde não precisa. Quando cada função calcula um pouco e ainda imprime, salva e chama a rede no meio do caminho, o programa vira uma teia em que qualquer mudança pode disparar uma consequência inesperada em outro lugar. O efeito espalhado é o que dói, não o efeito em si.

A saída madura é separar duas perguntas que costumam se misturar: o que fazer e fazer. Decidir o que fazer é lógica, e lógica pode ser pura: dado o carrinho, qual o total, qual o desconto, qual a mensagem a exibir. Fazer, de verdade, é o efeito: gravar esse total no banco, pintar essa mensagem na tela. Quando você mantém a decisão pura e empurra a execução para uma camada fina na beirada, ganha um miolo previsível cercado por uma casca pequena que mexe no mundo. Essa casca é a única parte imprevisível, e por ser pequena, é fácil de vigiar.

Separar decidir de executar

Veja a diferença na prática. Uma versão embaralhada calcula o valor da conta e, no meio do cálculo, já imprime avisos e salva no arquivo. Fica impossível testar o cálculo sem disparar as impressões e mexer no arquivo. A versão organizada quebra em duas: uma função pura que recebe os dados e devolve uma descrição do que precisa acontecer, e uma função de borda que pega essa descrição e executa. A pura você testa numa linha; a de borda é curta e faz só o efeito. A lógica interessante, aquela que erra e precisa de cuidado, mora toda no lado puro, onde o teste é barato.

// NÚCLEO PURO: decide, não executa
função decidirCobranca(carrinho, cupom)
  total <- somar(carrinho)
  desconto <- calcularDesconto(total, cupom)
  retorne { valor: total - desconto, mensagem: "Cobrança pronta" }
fim

// BORDA IMPURA: só executa o que o núcleo decidiu
função processar(carrinho, cupom)
  plano <- decidirCobranca(carrinho, cupom)   // parte pura
  salvarNoBanco(plano.valor)                  // efeito
  escreva(plano.mensagem)                      // efeito
fim

decidirCobranca é pura e testável; processar é a casca fina que executa os efeitos decididos.

A vantagem de isolar na borda

Isolar o efeito na borda paga em três frentes. Primeira, teste: o núcleo puro se testa sem montar banco nem simular rede, e a borda é tão curta que sobra pouco para dar errado. Segunda, mudança: se amanhã você troca o banco de dados por outro, ou a tela por um aplicativo, só a borda muda; o miolo que decide continua igual, porque ele nunca soube que banco ou tela existiam. Terceira, entendimento: quem lê o código encontra a lógica reunida num lugar limpo, sem tropeçar em impressões e gravações no meio do raciocínio. O efeito continua lá, o programa continua fazendo tudo, mas a parte imprevisível fica pequena, nomeada e num canto só.