Assando o Combinador Y do Zero: Parte 1 - O Combinador de Ponto Fixo

Este post mergulha no combinador Y, uma construção matemática que implementa recursão em linguagens funcionais sem auto-referência explícita. Começa explicando pontos fixos, depois deriva progressivamente a fórmula para o combinador Y, explicando seu mecanismo de auto-replicação. Através da análise do combinador Ω, o autor mostra como o combinador Y evita o aninhamento infinito por meio da auto-replicação em tempo de execução. O post também introduz brevemente o cálculo lambda e sistemas formais, preparando o terreno para uma compreensão mais profunda do combinador Y em partes posteriores.