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: Patreon: 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: How to Learn Rust

👕 Bad shirts available here https://www.teepublic.com/user/no-boi...

🛰️ Lost Terminal is here: Lost Terminal Episode 1.1: Hello World

🌕 Modem Prometheus is here: Modem Prometheus 1 - #HuntingParty

📓 The Phosphene Catalogue is here: The Phosphene Catalogue Episode 1: We...

🎵 My published albums are on spotify, itunes, etc, but I have a lot more unpublished work over at SoundCloud: namtao

🙏🏻 CREDITS & PROMO
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: Discord: discord

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:
- 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