图灵奖得主Barbara Liskov:数据抽象、Dijkstra与分布式系统往事
图灵奖得主Barbara Liskov访谈。回顾她因性别被普林斯顿拒收的经历,以及意外进入计算机科学的历程。深入探讨数据抽象概念的诞生背景:为了解决软件危机中的模块化难题,她设计了CLU语言。批评Python缺乏封装导致模块内部状态易被外部干扰。讲述分布式系统研究起源,包括Argus语言和Viewstamped Replication算法,指出其与Leslie Lamport的Paxos算法本质相同,且早于Google File System的应用。最后解释Liskov替换原则的发现过程:对比东西海岸面向对象研究的差异,从规范而非实现角度定义子类型行为。 






