cover of episode #48 Bell Labs - David MacQueen

#48 Bell Labs - David MacQueen

2025/1/21
logo of podcast Type Theory Forall

Type Theory Forall
AI Deep Dive AI Chapters Transcript
People
D
David MacQueen
Topics
我在爱丁堡大学与Rod Burstall合作开发Hope编程语言，之后在南加州大学的信息科学研究所（ISI）工作了一年，最后去了新泽西州的贝尔实验室，在那里从事类型论研究，并参与了Standard ML的设计和实现。在ISI研究所工作期间，主要从事自己感兴趣的研究，并把Hope的实现从POP2翻译成Interlisp。在贝尔实验室期间，参与了Standard ML的设计，虽然大部分设计工作是在爱丁堡进行的，我每年都会去爱丁堡与Rod Burstall等人合作。Standard ML的实现工作直到Andrew Appel加入普林斯顿大学才开始，我们一起从头开始了一个新的实现。我于1981年1月加入贝尔实验室，当时贝尔实验室的Unix房间是一个共享终端室，Unix以及许多工具都在那里开发。贝尔实验室成立于1925年，最初是一个应用数学组，主要由物理学家和化学家组成，从事贝尔电话系统所需的技术工作。贝尔实验室最初位于曼哈顿西街，1940年左右搬迁到新泽西州的默里山。贝尔实验室的计算机科学研究小组最初是从计算中心发展起来的，最初主要运行Fortran程序，后来逐渐发展壮大，成为独立的研究中心。到20世纪80年代，贝尔实验室的研究人员大约有1000人，而开发人员则有20000人左右。贝尔实验室计算科学研究中心的管理风格是放任式的，他们招聘优秀人才，并让他们自由地进行研究。晶体管的发明是一个相对正式的定向项目，因为当时人们正在尝试使用真空管技术进行数字操作，而真空管存在可靠性差、成本高、运行温度高等问题。晶体管的发明是出于对真空管技术的改进需求，真空管作为放大器和开关存在诸多问题。由于反垄断法，AT&T不能生产和销售计算机，但可以进行研发，所以晶体管的发明是贝尔实验室的成果，但AT&T并没有成为主要的晶体管制造商。我在贝尔实验室工作时，正值从电传打字机终端向玻璃TTY终端过渡的时期，我使用的是惠普的玻璃TTY终端。Unix最初是用汇编语言编写的，后来Dennis Ritchie开发了C语言，并用C语言重新实现了Unix。C语言的成功是因为它与Unix捆绑在一起，而Unix在大学等机构中得到了广泛的应用。我在贝尔实验室工作时，最初使用Lisp进行编程，后来学习了Emacs文本编辑器，并将其移植到贝尔实验室的Unix系统上。贝尔实验室内部使用的是自己版本的Unix，而外部则主要使用伯克利Unix。贝尔实验室的Unix和C语言开发人员对其他编程语言和类型系统并不十分了解，他们专注于自己的工作。Unix的起源是Ken Thompson对Multics项目的改进，Multics是一个雄心勃勃的操作系统项目，但由于合作机构间的协调问题而失败了。Unix最初的开发经费是通过开发一个面向律师的文字处理系统获得的。贝尔实验室计算科学研究中心的管理风格是宽松的，管理人员不会过多地干涉研究人员的工作，而是让他们自由地进行研究。我在贝尔实验室的招聘过程是通过我的部门主管Doug McElroy进行的，他根据我的研究成果决定聘用我。我在贝尔实验室的20年里，主要从事编程语言语义、类型论和ML的研究。我在贝尔实验室工作期间，与Unix和C语言的开发人员并没有太多互动，他们的工作方式与我所从事的功能编程语言研究大相径庭。我参与了将贝尔实验室连接到ARPANET的过程。只有真正的垄断企业才能拥有真正的研究实验室，AT&T的贝尔实验室在AT&T被拆分之前就是这样。与IBM的研究环境相比，贝尔实验室在好的时期是一个管理人员较少、研究人员拥有更多自由的环境。

Deep Dive

Chapters
This chapter sets the stage by introducing David MacQueen's illustrious career and Bell Labs' history. It highlights Bell Labs' groundbreaking contributions and its unique research environment.
  • David MacQueen's career at Bell Labs and the University of Chicago
  • Bell Labs' history and its significant contributions to technology
  • Over 26,000 patents registered, including the transistor, laser, and solar cell
  • 10 Nobel Prizes and 5 Turing Awards received

Shownotes Transcript

In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years.

Bell Labs began as the research and development section of the American Telephone and Telegraph company, aka AT&T, which originally hold exclusive hold of the telephone patent. Once that expired in the 1800s they needed to develop new technology to prove that it was still the best company, and hence Bell Labs was born.

Over the course of the years this fascinating institution has registered more than 26 thousand patents, among of which we have the transistor, the laser, the solar cell and communication satellites. Over the course of the last 88 years they were awarded a jaw dropping amount of 10 Nobel prizes and 5 Turing awards.

In this interview David MacQueen shares with us how was it like to work in such an incredible institution during it’s golden age. He shares insights about the technology, the space, the people, the management style, and much more!

Links