A Few Good Ideas in Programming Languages de Pranoy Dutta met en lumière trois fonctionnalités innovantes dans les langages modernes. Le flow typing, présent dans Crystal et TypeScript, permet aux variables de contenir dynamiquement plusieurs types tout en maintenant la sécurité statique des types. Cela donne aux langages compilés un aspect dynamique sans pénalité à l'exécution, car le compilateur suit les unions de types et exige des vérifications avant d'utiliser des méthodes spécifiques.

Le borrow checker de Rust prévient les data races en programmation concurrente par enforcement à la compilation. Il exige qu'aucun emprunt ne survive à son propriétaire et restreint les références à soit une mutable (&mut T), soit plusieurs immutables (&T). Cette abstraction à coût zéro imite les readers-writer locks en sérialisant les écritures, résolvant élégamment la complexité concurrente inhérente.

La programmation par contrat en D renforce la correction du code avec un support syntaxique des invariants. Alors que les asserts détectent les bugs internes, enforce dans D gère les problèmes externes comme les entrées invalides. Le langage fournit aussi des pré et postconditions pour les fonctions, assurant que la logique du programme reste saine pendant toute l'exécution.

Entités clés : Personnes : Pranoy Dutta