ATS: Why Linear Types are the Future of Systems Programming

With Aditya "Deech" Siram!

This talk will explore why ATS, a linearly typed ML for systems programming, should be the inspiration for the next generation of systems programming languages. It will cover:

• Using linear types for completely type safe C level control over memory manipulation and allocation.
• Interleaving theorem proving and dependent types to emulate Rust-like mutability guarantees and more!
• How linear types allow seamlessly mixing garbage-collected code with low-level pointer manipulation.
• How ATS's new streaming primitive allows us to write higher order functional programs and precisely reason about in-the-moment resource usage for highly predictable but fast servers.
• And maybe more depending on time and interest!

Aditya is currently a Haskell programmer working on privacy software at LeapYear (https://leapyear.io). In his spare time, he has a strong interest in the intersection of functional programming, programming environments, tooling and developer experience, and high-performance, statically-verified software.

This Meetup will be recorded and posted to YouTube. Please note that you will need to log in to Zoom with an account in order to participate and that attendance is first come, first served, limited to 100 people.