Compiler-Driven Development in Rust

Compiler-Driven Development in Rust, including TDD, CDD, and the Typestate Pattern. Today's sponsor: Quadratic, check them out at https://quadratichq.com/?utm_campaign=noboilerplate When I write a new Rust program, I don't start with functions or methods or any runtime code. I start with the model of my application, expressed with Rust's rich type system. Interacting with the real-world, on disk or through the network is too slow for me, at first, I need to iterate faster than that, to sketch out my ideas, unconstrained by the outside world. This compile-checked whiteboarding I call Compiler-Driven Development. ❤️ If you would like to support what I do, I have set up a patreon here: https://www.patreon.com/noboilerplate - Thank you! 📄 All my videos are built in compile-checked markdown, transcript sourcecode available here https://github.com/0atman/noboilerplate this is also where you'll find links to everything mentioned. 🖊️ Corrections are in the pinned ERRATA comment. 🦀 Start your Rust journey here: https://www.youtube.com/watch?v=2hXNd6x9sZs 👕 Bad shirts available here https://www.teepublic.com/user/no-boilerplate 🙏🏻 CREDITS & PROMO Many thanks to Andrew for the English subtitles! My name is Tris Oaten and I produce fast, technical videos. Follow me here https://tech.lgbt/deck/@noboilerplate Website for the show: https://noboilerplate.org Come chat to me on my discord server: https://discord.gg/mCY2bBmDKZ If you like sci-fi, I also produce a hopepunk podcast narrated by a little AI, videos written in Rust! https://www.lostterminal.com If urban fantasy is more your thing, I also produce a podcast of wonderful modern folktales https://www.modemprometheus.com 👏🏻 Special thanks to my patreon sponsors: - Jaycee, - Gregory Taylor, - Ything LLC And to all my patrons!