Abstract
In contrast to pure functional programming, system programming has to manage resources that are limited by the physics of the machine: memory, files, etc. In particular, it has to ensure that these resources are neither duplicated nor lost. In particular, it must ensure that these resources are neither duplicated nor lost. The speaker developed the concept of linearity as a system programming discipline, but also from the point of view of linear logic, and finally in the form of type systems like that of the Rust language.
