图灵奖获得者_图灵奖得主2016_图灵奖中国人

■本报记者 冯丽妃

莱斯利·兰伯特是一名计算机科学家，他提出了分布式系统、时序逻辑和并行算法等系列计算机理论。兰伯特是微软研究院首席研究员、美国国家工程院和科学院院士，2013年，他获得了有着“计算机界诺贝尔奖”之称的图灵奖。近日，这位世界顶级科学家应邀走进了北京大学，与学子交流科研心得。

“怎样才能保证编码少出错？”“你怎么看待计算机科学和数学之间的关系？”“你提出过很多计算机理论，哪个是最钟爱的‘孩子’？”……近日，北京大学斯坦福中心，在莱斯利·兰伯特（Leslie Lamport）的报告结束后，学生们的问题接踵而至。在近1个小时的时间里，他接受了学生们的“考问”。

台上的兰伯特身着一件浅蓝色条纹衬衫、一条深蓝色牛仔裤、一双黑色运动鞋。像着装一样，他的话语简洁中透着随性。在回答感兴趣的问题时，他的语速并不快，引经据典，侃侃而谈，让边眼镜后的目光却总喜欢凝视着空间中的某一点，让人不免产生一丝神秘感和距离感。当然对于不感兴趣的问题，他也不敷衍，只是简单一句：“不了解。”

兰伯特现任美国微软研究院首席研究员，也是2013年有着“计算机界诺贝尔奖”之称的图灵奖获得者。此次他经北京大学“大学堂”顶尖学者讲学计划的邀请，与该校师生开展了交流，而此次交流的核心则是：思考，比写代码更加重要。

编码也须锻炼“肌肉”

如何才能写出更优质的程序呢？这是记者和很多现场学生关心的一个话题。“工程师在砌砖建房之前会画一张建筑蓝图；但程序员和软件工程师往往不会这样做。这是不是房屋很难倒塌而编程经常出问题的原因呢？”报告结束后，在接受《中国科学报》记者采访时，兰伯特对比说，很多程序员在开始编写程序之前，往往不愿意勾勒哪怕是一个最简易的程序轮廓。

蓝图可以帮助工程师保证计划发挥作用。“‘发挥作用’不只意味着让大楼不倒塌，还意味着为所需要的目的服务，比如让建筑师和客户在施工之前了解他们打算建造什么样的工程。”兰伯特如是说，“蓝图可以帮助我们考虑清楚，我们在编写什么。”

为编写软件所描绘的蓝图就是规范（spec）。然而，“计划赶不上变化，就像没有哪一场战争真正能够按计划进行一样，你做出的规范也有可能发生程式错误。”兰伯特说。比如，或者是必要条件发生了改变，或者是出现了错误，可能在你写完程序之前，就需要改变原来的规范。

事实上，在真实世界中，代码可以修补，而规范也可以更新，这些都很普遍。那么，如果修补和更新不可避免，那么为什么要描绘这张蓝图呢？对此，兰伯特表示原因有二：其一，无论是谁在修补代码，都会由衷感谢规范中的每个词、每个公式的作者；其二，代码每修复一次，就会“变丑一点，更难理解一点，也更难维护”。“因此，如果不从思考规范开始，那么程序员所写的代码的每个片段就都是补丁。这样就会让一开始编写的程序变得丑陋、难以理解和维持下去。”兰伯特说。

“为什么编码难？因为编码需要思考，思考存在难度，而很往往低估了思考的难度。”他说，“正如家迪克·金敦（Dick Guindon）所说的那样，‘写作是让你知道你的思想有多么混乱的根本方法。’”

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-41216-1.html