Guy Steele 特邀演讲

Name: Guy Steele 特邀演讲
Uploaded: 2023-02-20T02:22:57Z
Duration: 1 h 7 min 22 s
Description: Guy Steele 在 Clojure/conj 上受邀就计算机科学家在论文中用来描述语言的非正式元注释进行演讲。他追溯了这种符号是如何发展的，以及为什么它常常是未指定的和神秘的。

原名：Invited Talk - Guy Steele

dailyrain·YouTube 3.9 万次观看·B站 283 播放·3 年前·1:07:22

在 B 站打开原 YouTube 版本

关于这个视频

Guy Steele 在 Clojure/conj 上受邀就计算机科学家在论文中用来描述语言的非正式元注释进行演讲。他追溯了这种符号是如何发展的，以及为什么它常常是未指定的和神秘的。

HN 为什么推荐它：每当有人询问如何阅读论文中的类型系统或 CS 符号时，HN 评论者都会推荐它。

“盖伊·斯蒂尔 (Guy Steele) 的精彩演讲解释了数学/计算符号的历史”— HN 评论 · 2022 · 原文

查看英文原文

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.

Why HN likes it: HN commenters recommend it whenever someone asks how to read type-system or CS notation in papers.

“Excellent talk by Guy Steele explaining the history of maths/comp notations”

HN 提及 12 次推荐者 7 人首次 2017最近 2023质量分 9.5

原视频频道：ClojureTV · YouTube 3.9 万次观看

演讲进阶常青盖·斯蒂尔元注释类型论编程语言clojure/conj

编程语言设计函数式编程