On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
5 人推荐 · 跨 5 个月 · 2020–2026
![On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]](https://i.ytimg.com/vi/43XaZEn2aLc/hq2.jpg)
中文导读
布朗大学教授 Shriram Krishnamurthi 在 PWLConf 2019 上的高口碑演讲。基于 Felleisen 的经典论文，严谨定义了编程语言“表达能力”（Expressive Power）的形式化标准：如果模拟一个特性需要重写全局代码，它才算真正增强了表达力。
为什么 HN 推它
HN 语言设计讨论中的定分止争之作，把原本晦涩的学术论文讲得通俗生动，是衡量语法糖与本质能力分水岭的必看佳作。
「Shriram Krishnamurthi 两年前关于这篇论文的演讲要平易近人得多。」HN 网友原话：Shriram Krishnamurthi's talk from two years ago on this paper might be more approachable.
英文原摘要（HackerTube / Claude 整理）
Shriram Krishnamurthi's PWLConf 2019 talk on the formal notion of expressive power of programming languages, based on Felleisen's paper. It explains how to tell when a feature adds power by whether emulating it requires global rewriting.
Recommended as the approachable way into a precise definition of language expressiveness for language-design arguments.
HN 上的提及
expressive power (which has a pretty good and precise definition
a very good talk "On the expressive power of programming languages"[1][2]
Shriram Krishnamurthi's talk from two years ago on this paper might be more approachable.
Used as framework to reason about adding inheritance to Rust
Worth reading Felleisen