PickVidsOn the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
推荐理由
Shriram Krishnamurthi's talk from two years ago on this paper might be more approachable.
说明
这是2019年由PapersWeLove发布的一部演讲，主题归在Programming language design。它讲的是programming language expressiveness这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：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.讲法不绑某一条新闻，过几年仍然可以当材料看。从2020年到2026年，有5位不同的读者在5个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把programming language expressiveness变成能跟着复述的例子。
视频信息
- 频道
- PapersWeLove
- 时长
- 59 分 4 秒
- 发布年份
- 2019