Type-Driven Magic 🪄— dans les coulisses d'Axum 🦀

En Rust, le framework web Axum permet d'écrire des handlers avec une ergonomie déconcertante : une fonction async, quelques arguments pour extraire corps et paramètres, et voilà une route HTTP valide. Pas d'annotation, pas de réflexion, pas de conteneur d'injection.
Derrière cette apparente magie 🎩🐰, un mécanisme redoutablement élégant : des types.

Reconstruisons-le depuis zéro, pour voir comment quelques traits et un peu d'algèbre de types font — à la compilation, à coût nul — ce que Spring fait à l'exécution, à coups de réflexion et magie noire (bytecode).

Pas besoin de parler Rust couramment : si un autre langage typé ne vous fait pas peur, vous suivrez sans problème. Un bon magicien ne révèle jamais ses trucs — tant pis ! Vous repartirez avec de quoi enchanter vos propres applications, sans autre magie que celle des types. 🪄