"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference · 36:58 · Watch on YouTube
ATS is an ML-family systems language that compiles to C with exact C-level control over pointers and memory, but uses linear proofs and refinement types to make that control provably safe — at the cost of extreme comp...