PickVidsLeslie Lamport: Thinking Above the Code
推荐理由
He's just saying that you should think before you code and that most specifications should be just a few sentences stating what you intend to do.
说明
这是2014年由Microsoft Research发布的一部演讲，主题归在Logic & formal methods。它讲的是formal specification这一支里的具体问题，而不是把整个领域扫一遍。适合已经能看懂基本术语、想继续往下走的人。内容上可以概括成：Leslie Lamport argues that programmers, like architects, should write rigorous specifications before coding, especially for concurrent and distributed systems. The talk introduces the case for writing specs (the TLA+ mindset) as a way of thinking above the code.这些读者给出的理由，核心是：HN points people to it as Lamport's own case for thinking and writing a spec before coding, and as an entry point to TLA+.讲法不绑某一条新闻，过几年仍然可以当材料看。从2015年到2026年，有5位不同的读者在5个不同月份把它推荐出来，其中明确叫别人去看的有1次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把formal specification变成能跟着复述的例子。
视频信息
- 频道
- Microsoft Research
- 时长
- 59 分 50 秒
- 发布年份
- 2014