Concorrência com Segurança de Tipos
A combinação do modelo de atores do Erlang/OTP com o sistema de tipos estático do Gleam nos fornece garantias matemáticas exclusivas.
Por que Gleam OTP?
- Tipagem de Mailbox: Mensagens enviadas a processos possuem tipos definidos em compilação.
- Supervisão Automática: Recuperação de falhas resiliente e transparente.