Invited Talk - Guy Steele

延伸阅读 1

Guy Steele 把计算机科学论文里用来描述程序语言的语法、推理规则和其他记号，当作一门值得研究的语言。他指出，不同作者有时会把替换记号里两项的顺序颠倒，让读者难以判断该用哪项替换哪项。他还提议给表示重复的上划线记号配一个下划线，用它标明哪一部分在每次展开时都应保持相同。

存档字幕（转写方式未注明） ↗ · 引文按字幕原文展示，可点时间戳回看片段。

补充字幕原文 2

you're not sure which way the substitution is going

an underline cancels the effect of an over line