关键要点:
- 彼得·约翰(p.j.)兰丁(peter john (p.j.) landin)是一位英国计算机科学家,生于1930年6月5日,逝世于2009年6月3日,他首次认识到人们可以使用λ演算来描述编程语言。
- 他还拥有其他专利,包括现金注册机和记录器、留声机和电影胶片等。
- 兰丁被认为是创建了secd机器,这是第一个用于函数式编程语言的抽象机器,并引入了兰丁的边翼规则和塑造了句法糖这个词语。
早期计算机是一些最迷人的发明之一,它们对于改变我们完成计算和编程等任务的方式起到了重要作用。彼得·兰丁是一位英国计算机科学家,他发明了这样一台机器。他还被认为是创建了secd机器,这是第一个用于函数式编程语言的抽象机器,并创造了iswim编程语言。然而,兰丁不仅仅发明了与计算机相关的设备。他还拥有其他专利,包括现金注册机和留声机等设备。
继续阅读,了解更多关于彼得·兰丁及其发明的内容,包括他的早期职业生涯、他的众多专利、他的计算机工作原理以及它为何在历史上具有如此重要的意义。
快速事实
- 创造时间
- 约1890年
- 创造者
- 彼得·j·兰丁
- 原始用途
- 自动执行一系列算术或逻辑运算(计算)。
- 价格
- 25美元
兰丁计算机的相关事实
兰丁计算机专利图纸
- 兰丁计算机是一台具有七个数字设置的滑动链加法器,您可以使用别针或铅笔操纵。
- 兰丁计算机是一台设计良好、结构坚固的设备。
- 它是由明尼阿波利斯的彼得·j·兰丁(1858年3月9日-1940年1月24日)于1892年9月6日获得的美国专利编号482312。
兰丁计算机的历史
彼得·兰丁的发明与计算机设备的改进相关,其目的是使该类机器具有简单的结构和操作性,并且可以进行算术计算并在机器上显示结果。
彼得·约翰·兰丁是一位英国计算机科学家,生于1930年6月5日,逝世于2009年6月3日。他是第一个认识到人们可以使用λ演算来描述编程语言的人,这对于开发函数式和指示语义非常重要。
彼得·兰丁还拥有其他几项美国专利,包括现金注册机和记录器(专利号482014、526400、526401和526402);留声机(no1422453);以及电影胶片(no1234046)等。兰丁曾为沃克家族工作,该家族建立了美国最大的森林产品公司之一,是一家非常成功的美国商业家族。弗莱彻·洛伦·沃克(1872-1962)是他父亲托马斯·b·沃克获得其他专利的首位联合所有人。
兰丁计算机是如何工作的
兰丁计算机,也称为兰丁计算机,具有以下描述和工作原理。
一个轴安装在机壳中,一系列的棘轮被分成十个空间,这些空间由可以旋转的轮子形成10个齿或凹槽。一系列的杆或滑块沿机器的纵向延伸。这些滑块的前部顶部部分具有一系列适用于接收钢笔、铅笔、操作员的手指或其他适当设备的开口或凹槽,用于操作滑块。每个滑块上都有九个这样的开口。每个滑块的后端延伸到一个轮子上,并且另一侧与轮子接触。
landin计算机的图片
它具有与轮子凹槽、数量和尺寸相对应的锯齿部分。当滑块通过机器移动时,可以旋转轮子。铸件的前部被切割,覆盖在滑块的末端,切口的边缘成为操作销所接触的停止位,并限制每个滑块的运动。
适当的弹簧固定在机架的一部分上,并与每个滑块连接以在移动滑块以操作棘轮时进行回缩。轮子的每个端部都有一个弹簧止动器,它被安排在轮子的凹槽后面,并防止它后退或向后转动。
通过在轮子之间进行插销来将盘片固定在轴上。盘片的外周部分被切割掉。每个盘片都有凸缘/突出部分,与轮子的直径相比较小,并牢固固定在或成为所述轮子的一部分,除了位于轮子侧面凹槽中的极右侧的一个。
钢笔被放入上部的齿形滑块中,并拉到停止位,这会使寄存器向前适当数量的位置。滑块保持在最终位置,允许读取输入值直接位于停止位上方进行验证。当左手杆松开时,滑块返回到原始位置。如果不需要检查,杆可以锁定以提供立即返回。
这是一个设计精良且结构可靠的产品。landin计算机的重量为750克,尺寸为60w x 205d x 32h,均以毫米为单位。
landin计算机:历史意义
这个设备由彼得·约翰·兰丁的公司landin computer co.在1891年至1895年期间生产。后来,landin计算机被rapid computer co.改名为rapid computer adding machine。在世纪之交,rapid computer adding machine的价格约为25美元。德国chemnitz的schubert&salzer公司自1909年以来也一直在生产这个设备的一个显著改进版本,名为comptator。制造业转移到德累斯顿的hans sabielny公司后,comptator再次在全球市场上大获成功。
landin在剑桥大学克莱尔学院毕业之前,出生在谢菲尔德并就读于国王爱德华七世学校。他在1960年至1964年期间在伦敦担任克里斯托弗·斯特拉奇的助手,后者是一名独立计算机顾问。在加入伊纳瓦克和麻省理工学院之前,landin的大部分工作都在这个时候发表,并在进入伦敦玛丽女王学院之前进行了短暂的停留。正如在教科书《从第一原则编程》的序言中所述,他的努力是在伦敦玛丽女王学院建立计算机科学系,开设课程,并在20世纪70年代和80年代指导学生。
作为国际信息处理联合会(ifip)的成员,ifip工作组2.1负责算法语言和演算法,规范、维护和支持algol 60和algol 68编程语言。landin参与了国际编程和信息学标准化工作。
landin被认为是secd机器的创造者,这是第一个函数式编程语言的抽象机器,也是iswim编程语言的创始人,引入了landin的边际规则并创造了短语“语法糖”。正如在miranda、haskell、python和f#中所看到的,边际规则允许使用空格来限定范围声明(使用轻型语法)。
在他的重要著作《下一个700种编程语言》之后,landin创造了另一个短语“下一个700个…”。当landin在acm杂志上读到已经有700种编程语言在使用时,他选择了数字“700”。该论文开头写道:“…现在…已经有1,700种不同的编程语言在700个应用领域中被使用。”