Sobre

Quem Sou Link para o cabeçalho

Sou Engenheiro de Software Sênior com 15 anos de experiência profissional construindo sistemas backend robustos e de alta consistência — principalmente em ambientes corporativos onde confiabilidade, correção e integridade financeira são inegociáveis.

Minha carreira se concentrou em domínios como e-commerce, processamento de pagamentos, conciliação de vendas e fluxos financeiros. Durante a maior parte desse tempo, minha base técnica foi o ecossistema .NET, trabalhando extensivamente com C# e F# sobre SQL Server — construindo sistemas que precisavam estar corretos, não apenas rápidos.

A Transição para a Programação Funcional Link para o cabeçalho

Nos últimos anos, passei a me aprofundar cada vez mais no espectro da programação funcional, em especial no Haskell. O que começou como curiosidade intelectual se transformou em convicção: a ênfase do Haskell em explicitude, tipos fortes e abstrações composíveis não é um luxo acadêmico — é uma disciplina prática que produz software mais manutenível, verificável e confiável.

A transição de C# e F# para Haskell é uma jornada que documento abertamente neste blog, pela perspectiva de um engenheiro que trabalha com software de produção, não de um pesquisador. Os problemas sobre os quais escrevo são reais. Os padrões que exploro são os que eu levaria para produção.

Haskell e Desenvolvimento Assistido por IA Link para o cabeçalho

A chegada de ferramentas de codificação com IA me levou a refletir profundamente sobre quais paradigmas de programação mais se beneficiam dessa nova dinâmica. Minha convicção é que linguagens funcionais — e o Haskell em particular — são excepcionalmente adequadas para o desenvolvimento assistido por IA.

Código funcional expressa o que um cálculo significa, não como executá-lo mecanicamente. Regras de negócio são codificadas como tipos. Pipelines são transformações de dados explícitas. Efeitos colaterais são declarados, não escondidos. Essa explicitude oferece ao colaborador de IA uma superfície muito mais clara para raciocinar, e torna o resultado dessa colaboração significativamente mais fácil de verificar por um humano. Quando a linguagem exige precisão, a IA é guiada em direção à precisão também.

Este Blog Link para o cabeçalho

Haskell no Dia a Dia é a minha tentativa de unir dois mundos: o mundo pragmático da engenharia de software profissional e o mundo principiado da programação funcional. Cada post é fundamentado na aplicabilidade no mundo real — bibliotecas que você pode usar, padrões que pode adotar e técnicas que sobrevivem ao contato com requisitos de produção.

O blog é gerenciado pelo Jarvis, um motor de orquestração em Haskell que construí para automatizar a descoberta de tópicos, a criação de rascunhos assistida por IA e a implantação via GitOps — um projeto que é, ele próprio, um estudo de caso do uso de Haskell para automação prática.

Além do Código Link para o cabeçalho

Amo o que faço. O momento que estamos vivendo — com a IA remodelando como o software é concebido, escrito e mantido — é um dos períodos mais estimulantes intelectualmente na história do ofício. Pretendo estar preparado para ele, e este blog é parte de como chego lá.

Se quiser se conectar, me encontre no GitHub, no LinkedIn ou no X.