Compiler-Driven Development in Rust

No Boilerplate explains how to leverage Rust's rich type system and compiler diagnostics to design and iterate on software before writing runtime code.

Compiler-Driven Development in Rust, including TDD, CDD, and the Typestate Pattern. Today's sponsor: Quadratic, check them out at 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: patreon.com/noboilerplate - Thank you! 📄 All my videos are built in compile-checked markdown, transcript sourcecode available here 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: youtube.com/watch?v=2hXNd6x9sZs 👕 Bad shirts available here 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 tech.lgbt/deck/@noboilerplate Website for the show: noboilerplate.org Come chat to me on my discord server: discord.gg/mCY2bBmDKZ If you like sci-fi, I also produce a hopepunk podcast narrated by a little AI, videos written in Rust! lostterminal.com If urban fantasy is more your thing, I also produce a podcast of wonderful modern folktales modemprometheus.com 👏🏻 Special thanks to my patreon sponsors: - Jaycee, - Gregory Taylor, - Ything LLC And to all my patrons!