PickVidsInvited Talk - Guy Steele
推荐理由
Excellent talk by Guy Steele explaining the history of maths/comp notations
强烈推荐amar-laksh · 原文
说明
这是2017年由ClojureTV发布的一部演讲，主题归在Programming language design。它讲的是computer science notation这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：Guy Steele's invited talk at Clojure/conj on the informal metanotation computer scientists use in papers to describe languages. He traces how this notation developed and why it is often unspecified and arcane.这些读者给出的理由，核心是：HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.讲法不绑某一条新闻，过几年仍然可以当材料看。从2017年到2023年，有7位不同的读者在8个不同月份把它推荐出来，其中明确叫别人去看的有3次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把computer science notation变成能跟着复述的例子。
视频信息
- 频道
- ClojureTV
- 时长
- 1 小时 7 分
- 发布年份
- 2017