Name
Implementing Linear / Non-destructible Types in Vale and Mojo
Session Type
Technical Talk
Date & Time
Thursday, October 24, 2024, 4:45 PM - 5:15 PM
Abstract/s
Linear types are the secret ingredient to ensuring "liveness": the guarantee that desired future operations will happen. With them, you can solve caching problems, guarantee the completion of futures, ensure messages to other threads are actually handled, and a lot of other unexpected benefits. We'll talk about what they are, how they're implemented in Vale, and how we can add them to the Mojo compiler to bring them into the mainstream.
Speakers
Location Name
California Ballroom