Iowa Type Theory Commute

Let's talk about Rust

July 09, 2022 Aaron Stump Season 3 Episode 33
Let's talk about Rust
Iowa Type Theory Commute
More Info
Iowa Type Theory Commute
Let's talk about Rust
Jul 09, 2022 Season 3 Episode 33
Aaron Stump

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.

Show Notes

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.