Signals and Threads cover image

Memory Management with Stephen Dolan

Signals and Threads

CHAPTER

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.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner