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. 🪄
