ATS: Why Linear Types are the Future of Systems Programming скачать в хорошем качестве

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