Trois bonnes idées en programmation : flow typing, borrow checking et contract programming (en)

L’article explore trois fonctionnalités de langages appréciées par l’auteur : le flow typing de Crystal et TypeScript qui affine les types selon le flux de contrôle, le borrow checker de Rust qui prévient les data races à la compilation, et le contract programming de D avec assert, enforce, préconditions, postconditions et invariants de classe. Des exemples de code illustrent chaque concept.