Résumé
Au contraire de la programmation fonctionnelle pure, la programmation système doit gérer des ressources limitées par la physique de la machine : mémoire, fichiers, etc. Il faut en particulier assurer que ces ressources ne sont ni dupliquées ni perdues. Le conférencier a développé le concept de linéarité comme discipline de programmation système, mais aussi sous l’angle de la logique linéaire, en enfin sous forme de systèmes de types comme celui du langage Rust.
