Tudo Deve Ser Tipado: Tipos Escaladores Não São Suficientes

A utilização de apenas tipos escalares (como string ou int) oferece garantias fracas, pois eles capturam a forma, mas não o significado, permitindo que bugs sutis, como IDs ou unidades trocadas, sejam compilados e passem despercebidos. Envolver conceitos de domínio em tipos distintos (newtypes) torna estados inválidos irrepresentáveis, capacitando o compilador a impor correção, melhorar a safety e codificar a lógica de negócio diretamente no sistema de tipos.