In Search of Code Purity

Alternate title: Rust's Hidden Purity System I was taught formal methods at university but these ultra-safe development techniques are expensive, require using unusual external verification languages, and most damning for web and application developers, they slow down iteration. After graduating and getting a webdev job, I despaired that the safety and guarantees of the formal systems that I had been introduced to weren't available to me as a web developer. I was going to have to act if I wanted to live in a different world. ❤️ 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 source code 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 availa