PickVids"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
推荐理由
I recommend watching this presentation for a good idea of what ATS programming is like
说明
这是2017年由Strange Loop Conference发布的一部演讲，主题归在Programming language design。它讲的是ATS systems programming这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：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.这些读者给出的理由，核心是：Cited in Rust and systems-language threads as the best introduction to ATS, a language claimed to go beyond Rust's safety guarantees.讲法不绑某一条新闻，过几年仍然可以当材料看。从2017年到2022年，有4位不同的读者在4个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把ATS systems programming变成能跟着复述的例子。
视频信息
- 频道
- Strange Loop Conference
- 时长
- 36 分 58 秒
- 发布年份
- 2017