Paradigma Funcional: Imutabilidade, Funções Puras e Métodos de Alta Ordem

Olá, querida(o) estudante! No artigo de hoje, vamos estudar um paradigma de programação cada vez mais cobrado em provas de TI: a Programação Funcional (PF).

Com o aumento da complexidade dos sistemas modernos e a necessidade de lidar com
concorrência e processamento paralelo de dados, os conceitos funcionais deixaram de ser puramente acadêmicos e passaram a integrar a maioria das linguagens de mercado (como JavaScript, Python, Java e Scala).

Ao longo deste texto, entenderemos as diferenças entre os modelos imperativo e
declarativo, os pilares da imutabilidade, o papel das funções puras e de alta ordem, e os
impactos do uso da recursividade. Ao final, resolvemos questões para consolidar o
conhecimento.

Imperativo vs. Declarativo

Um paradigma de programação é a metodologia que dita a forma de estruturar, pensar e escrever o código. A Programação Funcional pertence à família dos paradigmas declarativos:

Paradigma Imperativo: O foco está no “COMO” a tarefa deve ser realizada. O código instrui explicitamente a alteração de estados da memória e o controle passo a passo da execução (como estruturas de repetição for, while e alteração de variáveis). Ex: Orientação a Objetos, Procedural.
Paradigma Declarativo: O foco está no “O QUE” deve ser feito. O programador descreve as transformações de dados desejadas encadeando expressões, sem explicitar o controle de fluxo de baixo nível. Ex: Funcional, Lógica, SQL.

Os Pilares da Programação Funcional

Para construir programas verdadeiramente funcionais, a arquitetura de código fundamenta-se nos seguintes pilares:

1. Imutabilidade

Na programação funcional, dados são imutáveis. Uma vez criada uma variável ou coleção, seu valor e estado não podem ser modificados no decorrer do tempo. Em vez de alterar o dado original, aplicam-se transformações que geram novas cópias com os novos resultados. Isso elimina problemas clássicos de condições de corrida (race conditions) e
efeitos colaterais imprevistos.

2. Funções Puras e Ausência de Efeitos Colaterais

Uma função pura cumpre duas propriedades obrigatórias:

Determinismo: Para um mesmo conjunto de argumentos de entrada, ela sempre retornará exatamente a mesma saída.
Ausência de Efeitos Colaterais (Side Effects): A função não altera nada fora do seu próprio escopo. Ela não modifica variáveis globais, não altera parâmetros recebidos, não escreve em arquivos e não altera o banco de dados.

3. Cidadãos de Primeiras Classe e Funções de Alta Ordem

Dizemos que funções são First-Class Citizens (Cidadãos de Primeira Classe) quando a
linguagem as trata como qualquer outro tipo de dado (como números ou strings). Isso
significa que funções podem ser atribuídas a variáveis, passadas como argumento para
outras funções e retornadas como resultado.

Com base nisso, surgem as Higher-Order Functions (HOFs – Funções de Alta Ordem),
que são funções que recebem uma ou mais funções por parâmetro ou retornam uma
função. Os exemplos clássicos em coleções são .map(), .filter() e .reduce().

Recursividade e a Pilha de Execução

Como o paradigma funcional preza pela imutabilidade, estruturas de repetição tradicionais (como for e while) são evitadas porque exigem variáveis de controle mutáveis (como i++).

Para iterar dados, a solução funcional é a recursividade — quando uma função chama a si mesma até atingir uma condição de parada (chamada de caso base).

Contudo, é crucial ter atenção ao aspecto de hardware: cada chamada recursiva empilha
um contexto de memória na Pilha de Execução (Call Stack). Se a função for chamada
infinitamente sem atingir uma condição de parada, ocorre um erro grave em tempo de
execução conhecido como Stack Overflow (estouro de pilha).

Agora, vamos ver como essas questões são cobradas nos concursos!

1) Ano: 2025 Banca: Avança SP Órgão: UNITAU Prova: Programador Pleno

Qual dos seguintes conceitos em programação funcional evita mudanças no estado dos
dados?
A) Mutabilidade
B) Recursão
C) Imutabilidade
D) Herança
E) Polimorfismo

Gabarito: C

Comentário:

A) Incorreta. Mutabilidade é o oposto do conceito funcional; ela representa a capacidade de alterar dados em memória.
B) Incorreta. Recursão é uma técnica de repetição/iteração de funções, não o conceito relativo ao estado dos dados.
C) Correta. A imutabilidade é a regra da programação funcional que proíbe alterações de estado direto, forçando a criação de novos valores derivados.
D e E) Incorretas. Herança e Polimorfismo são pilares da Orientação a Objetos.

2) Ano: 2024 Banca: CESGRANRIO Órgão: IPEA Prova: Técnico de Planejamento e Pesquisa – Ciência de Dados

Na programação funcional, que é um paradigma suportado pela Linguagem Scala, uma das práticas fundamentais é o uso de funções puras. A principal propriedade que caracteriza uma função pura é a(o)
A) baixa coesão
B) ausência de efeitos colaterais
C) incapacidade de chamar outra função
D) alto acoplamento
E) encapsulamento aberto

Gabarito: B

Comentário:

A e D) Incorretas. Baixa coesão (elementos de um sistema exercendo funções desconexas) e alto acoplamento (alta dependência entre elementos do sistema) são características indesejáveis do design de software tradicional.
B) Correta. A ausência de efeitos colaterais (side effects) é a característica definidora de uma função pura: ela opera apenas sobre os argumentos fornecidos e não altera o estado externo do sistema.
C) Incorreta. Funções puras podem perfeitamente chamar outras funções puras.
E) Incorreta. Se refere a classes cujos dados e atributos internos ficam expostos ou acessíveis de forma pública, violando o princípio tradicional de ocultação de dados.

3) Ano: 2026 Banca: FUNDATEC Órgão: IFC-SC Prova: Professor EBTT – Informática

Na recursividade, o que acontece se uma função chama a si mesma sem que uma
“condição de parada” (caso base) seja atingida?
A) A variável global é resetada.
B) Ocorre um erro de compilação.
C) O programa termina com sucesso.
D) O compilador ignora a chamada recursiva.
E) Ocorre um estouro de pilha (stack overflow) em tempo de execução.

Gabarito: E

Comentário:

A) Incorreta. Variáveis globais não são resetadas; elas mantêm seus valores no escopo.
B) Incorreta. Não gera erro de compilação, pois o código é sintaticamente válido.
C) Incorreta. O programa falha por falta de memória em vez de finalizar com sucesso.
D) Incorreta. O compilador executa todas as chamadas sequencialmente em vez de ignorá-las.
E) Correta. Como cada chamada recursiva adiciona um novo quadro (frame) à Call Stack para guardar variáveis e endereços de retorno, chamadas infinitas consomem todo o espaço alocado para essa pilha, estourando a memória física com um erro de Stack Overflow em tempo de execução.

Conclusão

A Programação Funcional oferece ferramentas poderosas para construir softwares mais
previsíveis, testáveis e imutáveis. Compreender a diferença entre estilos declarativos, o
comportamento determinístico das funções puras e os cuidados com a pilha em chamadas recursivas é fundamental para acertar questões de concursos!

Bons estudos e até nosso próximo artigo!

Para acompanhar mais conteúdos de TI, siga minha página no Instagram:
@dev.anajbsouza

Referências

FOWLER, M. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 2018.
MOZILLA DEVELOPER NETWORK (MDN). First-class Function. Disponível em: https://developer.mozilla.org/en-US/docs/Glossary/First-class_Function
CHACON, S. Mastering Functional Programming Concepts. O’Reilly Media, 2022.