In Search of Code Purity (Patreon)

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.

---

I hope you like this one folks, I'm really pleased with it! There's an extra 3-minute deep-dive on formal methods  and the proptest crate for patrons only here.

Thank you so much for your support! <3

I have some alternate title options that I wonder if anyone has strong feelings about? Do let me know in the comments, and thank you again!

1. In Search of Code Purity
2. Rust's Secret Purity System
3. My Purity Journey from Haskell to Go to Rust
4. const fn: Pure Functions in Rust