Iowa Type Theory Commute artwork

Let's talk about Rust

Iowa Type Theory Commute

English - July 10, 2022 03:00 - 13 minutes - 9.5 MB - ★★★★★ - 13 ratings
Technology Science Mathematics programming languages computational logic type theory proof assistants cedille Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: Region-Based Memory Management
Next Episode: Separation Logic 1

In this episode, I talk briefly about Rust, which uses compile-time analysis to ensure that code is memory-safe (and also free of data races in concurrent code) without using a garbage collector.  Fantastic!  The language draws on but richly develops ideas on ownership that originated in academic research.