Skip to content

Instantly share code, notes, and snippets.

View Rastrian's full-sized avatar
Laughing into the abyss

Luis Vaz Rastrian

Laughing into the abyss
View GitHub Profile
@Rastrian
Rastrian / introduction-fp-br.md
Last active August 9, 2024 14:47
Basic introduction for FP - EN/PT-BR (WIP - EN first)

Introdução Rápida à Programação Funcional (FP)

  • O que é e por que usar?

    Programação Funcional (FP) é um paradigma de programação que trata a computação como a avaliação de funções matemáticas, evitando a mudança de estado e dados mutáveis. Ela enfatiza a aplicação de funções a entradas para produzir saídas, sem modificar o estado. Na programação funcional, funções são tratadas como cidadãos de primeira classe, o que significa que podem ser atribuídas a variáveis, passadas como argumentos e retornadas de outras funções.

  • Características-chave da programação funcional incluem:

    • Estilo declarativo em vez de imperativo
    • Ênfase no que deve ser computado, ao invés de como deve ser computado
  • Evitar efeitos colaterais e mudanças de estado

@Rastrian
Rastrian / BLOG-POST.md
Last active September 16, 2025 16:18
Why Reliability Demands Functional Programming: ADTs, Safety, and Critical Infrastructure

Why Reliability Demands Functional Programming: ADTs, Safety, and Critical Infrastructure

In banking, telecom, and payments, reliability is not a nice to have. It is table stakes. The most reliable systems I have worked on reduce entire classes of bugs before the code even runs. Functional programming and Algebraic Data Types (ADTs) let you push correctness into the type system, so illegal states cannot be constructed in the first place.

What you will learn

  • How invalid states show up in real systems and why they cause costly incidents
  • How ADTs encode business rules so the compiler enforces them
  • How pattern matching and exhaustiveness checks turn refactors into safe edits
  • Practical modeling patterns for banking and telecom domains in TypeScript and OCaml