Invited Talk - Guy Steele
7 人推荐 · 跨 8 个月 · 2017–2023
中文导读
计算机先驱 Guy Steele 在 Clojure/conj 上的重磅特邀演讲。他全面梳理了计算机科学家在学术论文中用来描述编程语言的形式化非正式元记号（Metanotation），揭示了这些符号系统从何而来，以及为何往往晦涩模糊且缺乏统一规范。
为什么 HN 推它
每当有工程师发帖求助「如何读懂 CS 论文和类型系统里的符号天书」时，HN 老手必定会推荐这场讲座来帮他们脱敏。
「Guy Steele 的绝佳演讲，把数学与计算机符号演化史的来龙去脉讲得太透了。」HN 网友原话：Excellent talk by Guy Steele explaining the history of maths/comp notations
英文原摘要（HackerTube / Claude 整理）
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.
HN 上的提及
Then you better stay away from another talk at the same conference, by Guy Steele [0] !
Guy Steel's talk at Clojure Conj [0] on computer science type notation touches on related issues and is a great watch.
You would probably enjoy this talk by Guy Steele where he discusses the language of mathematics that computer science people use in their papers
arcane knowledge that is seldom reified
Guy Steele gave a great talk a few years ago on