对话现代算法架构宗师Barbara Liskov：我拿图灵奖和性别无关

好代码既要脚踏实地，又得凸显个人风格。代码要提供一切必要的信息，但又不存在多余的细节。低效、错误绝对不能容忍。总而言之，好的代码准确、简洁、不证自明，适合人类阅读和理解。早期编程人员大量使用这类语句以避免代码产生难以预料的结果，但同时也导致程序难以阅读、无法预测甚至引发风险。糟糕的软件最终令人们付出了生命的代价——Therac-25计算机控制下的放射机，向癌症患者释放出了过量辐射。在这样的背景下，Barbara Liskov于1968年在斯坦福大学获得了计算机科学博士学位。这样的架构特征，自然培养起工程师们分解问题并将其归类为不同模块的思维方式。如此一来，他们将拥有更充分的控制权，从而有针对性地对个别组件进行功能推理。但计算机科学家面对的是代码，Liskov面前没有任何可以操作的物理对象。