Julia has a JIT compiler that works by doing type inference on code. It tries to guess the types of the variables. With strongly typed languages, the compiler simply mark miss-typed variables as error. But what happens in flexible languages where no such error exists ? How the compiler manage control-flow and exceptions ? We will present how type inference works in Julia and which techniques Julia's people came up to overcome difficulties.

Le projet control-toolbox rassemble plusieurs packages Julia conçus pour modéliser et résoudre des problèmes de contrôle optimal. Autour du package central OptimalControl.jl, il propose une architecture modulaire et performante pour définir des systèmes, implémenter différents schémas numériques, et exécuter des calculs du CPU au GPU. Je présenterai les principaux développements récents, l’organisation de l’écosystème et quelques exemples d’applications, avec un accent sur les choix de conception et de bonnes pratiques de développement.