15/11/2026 –, A203
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. 🪄
Dev qui sont curieux de ce qu'on peut faire avec les types de Rust
Développeur passionné depuis le début du siècle.
🦀 J'ai découvert mon langage préféré: Rust.