Aditya Siram Introduces ATS Systems Programming

Strange Loop Conference · Talk · YouTube title: "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Why it's here

Cited in Rust and systems-language threads as the best introduction to ATS, a language claimed to go beyond Rust's safety guarantees.

What it covers

Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.