"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference · 36:58 · Watch on YouTube
ATS는 C로 컴파일되는 ML 계열 시스템 언어로, 포인터와 메모리에 대한 정확한 C 수준 제어를 제공하지만, 선형 증명과 정제 타입을 사용해 그 제어를 증명 가능하게 안전하게 만든다 — 극단적인 복잡성을 대가로 한다.