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

Why it was recommended

I recommend watching this presentation for a good idea of what ATS programming is like

RecommendationAthas · Original2020-08

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. It is for someone who wants the derivation, proof, or implementation detail.

Video details

Channel

Strange Loop Conference

Length

36 min 58 sec

Year

2017

More in this topic

• How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
• Why Isn't Functional Programming the Norm? – Richard Feldman
• Maybe Not - Rich Hickey
• Conway's Game Of Life in APL
• Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
• Crockford on JavaScript - Volume 1: The Early Years