hackertube.io

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Strange Loop Conference · talk · Watch on YouTube

Programming language designLogic & formal methodsC, C++, Rust, Go & systems languages

What it is

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.

Why Hacker News recommends it

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

  • 4 people recommended it
  • 4 different months
  • 0 strong recommendations
  • first 2017, last 2022

What HN commenters said

  1. “you can do even better--even faster and with even stronger security guarantees”

    ATS offers speed and safety beyond Rust's ownership model.

    wahern, 2017-10 · Recommendation · in “Building on Rock, Not Sand”

  2. “maybe ATS would be of interest.”

    Systems programming language with proving techniques.

    snaky, 2018-09 · Recommendation · in “How did software get so reliable without proof? (1996) [pdf]”

  3. “I recommend watching this presentation for a good idea of what ATS programming is like”

    Shows what ATS programming is like, with gradual verification.

    Athas, 2020-08 · Recommendation · in “Supporting Linux kernel development in Rust”

  4. “Some entertaining talks introducing the language, by /u/deech”

    Entertaining introduction to the ATS language.

    rtfeldman, 2021-08 · Recommendation · in “The ATS Programming Language”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: ats, systems programming, dependent types, formal verification, strange loop

Also recommended by the same people