Types substructuraux : une plongée dans la gestion des ressources en programmation
Un billet technique détaille comment les types linéaires, affines et d'unicité permettent de sécuriser la manipulation des ressources (mémoire, fichiers, verrous) dans les langages de programmation, à travers le prisme du langage expérimental Eter.
Clean
Eter
Federico Bruzzone
GitHub
Haskell
Hylo
Jean-Yves Girard
Philip Wadler
Rust
SWIFT
Évolution chronologique
-
Types substructuraux : une plongée dans la gestion des ressources en programmation
Les types substructuraux (linéaires, affines, d'unicité) offrent une solution formelle à la gestion des ressources en programmation. Un billet technique du projet Eter explore leur...