The hidden superpowers of linear types: how linear types control the future and prevent bugs

Evan Ovadia explains how linear types provide compile-time constraints to prevent bugs, manage resources, and guarantee the completion of futures.

Are you tired of inconsistent data? Struggling with forgotten function calls? Dealing with errors in destructors? Learn how Mojo could allow you to put compile-time constraints on your types, reminding you to perform the required behavior before an object goes out of scope! In our tenth community meeting, hear from Evan Ovadia, Mojo compiler engineer and creator of Vale, on the hidden superpowers of linear types, which help solve caching problems, guarantee the completion of futures, ensure messages to other threads are actually handled, and many other unexpected benefits. Evan will talk about what they are, how they're implemented in Vale, and how they could be added to the Mojo compiler to bring them into the mainstream. 🤝 Join our community: modular.com/community?utm_campaign=community&utm_source=yout… Meeting agenda: 📋 Intro and agenda 00:00 💪 The hidden superpowers of linear types 0:38 🙋 Linear types Q&A 27:25 ❓ General community Q&A 56:13 Full agenda and details below! ⬇️ modul.ar/community-meeting-doc Hang out with us on other platforms: Forum - forum.modular.com/ GitHub - github.com/modular X (aka Twitter) - x.com/modular LinkedIn - linkedin.com/company/modular-ai Reddit - reddit.com/r/ModularAI/ #ml #programming #programminglanguages #gpu #python