Podcasts Technology Iowa Type Theory Commute Let's talk about Rust

Let's talk about Rust

Published: July 10, 2022, 3 a.m.

b'

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.\\xa0 Fantastic!\\xa0 The language draws on but richly develops ideas on ownership that originated in academic research.

'