Memory Management with Stephen Dolan
Signals and Threads
00:00
How to Write a Compiled Time Tat Program That's Not Stack Allocated
In rust, there are these new entities at the type level call lifetimes. They're like variables in the type system. There's a lifetime variable associated with each reference type. The challenge is to allow es to write that kind of program where you are really passing references to locally elogated data around to other functions and have that somehow been safe. You need a surprising amount of type level machinery to get this work done.
Transcript
Play full episode
