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.

Slides for this talk: https://github.com/deech/FPBerlinATST...

This virtual talk was brought to you by the Berlin Functional Programming Group.
Join us on Meetup: https://www.meetup.com/Berlin-Functio...
Follow us on Twitter:   / berlinfpgroup  
Buy a T-shirt: https://teespring.com/berlin-fp-group
Support us on Patreon:   / bfpg