Type-level Programming in Rust | Will Crichton

C’est une vision vachement musclée des machines à états. Je suis par ailleurs impressionné par l’expressivité du Rust, qui permet de ne déclarer des méthodes que quand le type générique a une certaine valeur.