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!