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: - Thank you! 📄 All my videos are built in compile-checked markdown, transcript source code available here this is also where you'll find links to everything mentioned. 🖊️ Corrections are in the pinned ERRATA comment. 🦀 Start your Rust journey here: 👕 Bad shirts available here 🛰️ Lost Terminal is here: 🌕 Modem Prometheus is here: 📓 The Phosphene Catalogue is here: 🎵 My published albums are on spotify, itunes, etc, but I have a lot more unpublished work over at 🙏🏻 CREDITS & PROMO My name is Tris Oaten and I produce fast, technical videos. Follow me here @noboilerplate Website for the show: Come chat to me on my discord server: If you like sci-fi, I also produce a hopepunk podcast narrated by a little AI, videos written in Rust! If urban fantasy is more your thing, I also produce a podcast of wonderful modern folktales 👏🏻 Special thanks to my patreon sponsors: - JC Andrever-Wright - Miah Beach - Taylor Dolezal - Thomas Picard - David Senk And to all my patrons! Alternate title options: 1. In Search of Code Purity 2. Rust's Secret Purity System 3. My Journey from Haskell to Go to Rust 4. const fn: Pure Functions in Rust