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: / 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 See ...
🎵 My published albums are on spotify, itunes, etc, but I have a lot more unpublished work over at / 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
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