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 (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.
Slides for this talk: github.com/dee...
This virtual talk was brought to you by the Berlin Functional Programming Group.
Join us on Meetup: www.meetup.com...
Follow us on Twitter: / berlinfpgroup
Buy a T-shirt: teespring.com/...
Support us on Patreon: / bfpg