Descrição
Desenvolve software em ATS2, uma linguagem estaticamente tipada projetada para tipos precisos e programação orientada a provas. Ela é útil para desenvolvedores que exploram garantias fortes em tempo de compilação e código de baixo nível.
Sistemas de tipos avançados podem tornar código mais seguro, mas também mais difícil de manter sem conhecimento da equipe. Mantenha exemplos, scripts de build e documentação perto do código-fonte.