A Few Good Ideas in Programming Languages de Pranoy Dutta destaca três recursos inovadores em linguagens modernas. Flow typing, visto em Crystal e TypeScript, permite que variáveis mantenham dinamicamente múltiplos tipos enquanto mantêm a segurança de tipos estáticos. Isso faz linguagens compiladas parecerem dinâmicas sem penalidades em tempo de execução, pois o compilador rastreia unions de tipos e exige verificações antes de usar métodos específicos.

O borrow checker do Rust previne data races em programação concorrente por enforcement em tempo de compilação. Exige que nenhum empréstimo sobreviva ao seu dono e restringe referências a uma mutável (&mut T) ou múltiplas imutáveis (&T). Esta abstração de custo zero espelha readers-writer locks serializando escritas, resolvendo elegantemente a complexidade de concorrência inerente.

Programação por contrato em D fortalece a correção do código com suporte sintático a invariantes. Enquanto asserts detectam bugs internos, enforce em D lida com problemas externos como entrada inválida. A linguagem também fornece pré e pós-condições para funções, garantindo que a lógica do programa permaneça correta durante toda a execução.

Entidades-chave: Pessoas: Pranoy Dutta