克里斯托弗·斯特雷奇

✍ dations ◷ 2025-04-17 10:52:31 #1916年出生,1975年逝世,英格兰计算机科学家,英国程序员,编程语言设计者,剑桥大学国王学院校友,格瑞萨姆学院校友

克里斯托弗·斯特雷奇(英语:Christopher Strachey,1916年-1975年)是一名出生于英国英格兰伦敦汉普斯特德的计算机学者。他是指称语义最早的提出者之一,也是编程语言设计的先驱,发展了编程语言CPL。

克里斯托弗·斯特雷奇出身于斯特雷奇家族(英语:Strachey family),其父为奥利佛·斯特雷奇(Oliver Strachey),其母为瑞吉儿·科斯特洛(Rachel Costelloe)。

1935年,斯特雷奇进入剑桥大学国王学院就读,最初主修数学,后来转向物理学。在大学第三年时,可能因为他的同性恋倾向,使他神经衰弱,无法完成学业。他回家休养之后,虽然曾试图重返校园,但仍然无法完全恢复。在休学后,进入标准电话与电缆公司(Standard Telephones and Cables,STC),担任物理学研究员。

1959年6月,斯特雷奇在国际信息处理大会(International Conference on Information Processing)上发表论文《大型高速计算机中的时间共享》("Time Sharing in Large Fast Computer")。斯特雷奇在文中提出了虚拟化概念,还论述了什么是虚拟化技术。

1960年,斯特雷奇提出了“一等公民”(First-class citizen),意指函数可作为电脑语言中的第一类公民。

1967年把多态定义为两个分支:特设型多态(Ad-hoc polymorphism)和通用型多态(Universal polymorphism),成为面向对象编程的基础之一。

相关

  • 卡文迪许实验室卡文迪许实验室(Cavendish Laboratory),即是剑桥大学的物理系,研究领域包括了天体物理学、粒子物理学、固体物理学、生物物理学。由著名的英国物理学家詹姆斯·克拉克·麦克斯韦
  • 拉妮·穆科吉拉妮·穆科吉(英语:Rani Mukerji,孟加拉语:রাণী মুখার্জী,印地语:रानी मुखर्जी,1978年3月21日-)是印度女演员,她1978年3月21日出生于宝莱坞导演的家庭。 拉妮
  • 生物能源生物能源(Bioenergy)是从生物来源的材料制成的可再生能源。生物质是太阳光中的化学能的形式存储的的任何有机材料。作为一种燃料,它可能包括木材,废木料,秸秆,有机肥,甘蔗,和多种农
  • 标签理论标签理论(Labeling Theory)是一个犯罪学理论,理论分支属于“犯罪社会学”。标签理论被用于说明部分人如何走上越来越严重的犯罪之路。澳洲的犯罪学家约翰·布莱特怀特是标签理
  • 个人形象个人外貌可能是一个人的外表和容貌,社会学普遍认为一个人的外貌在人格发展及社会关系中扮演着举足轻重的角色。人类容貌的改变有一定的理论可做依循,主要取决于人类的遗传基因
  • 赤崁楼赤嵌楼(闽南语:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Tshi
  • 蒙特罗斯县蒙特罗斯县(英语:Montrose County)是美国科罗拉多州西部的一个县,西邻犹他州。面积5,808平方公里。根据美国2000年人口普查,共有人口33,432人。县治蒙特罗斯(Montrose)。蒙特罗斯县
  • 大银鱼大银鱼(学名:Protosalanx chinensis)为辐鳍鱼纲胡瓜鱼目银鱼科大银鱼属的鱼类。分布于日本、朝鲜以及东海、黄海和渤海沿岸以及通海江河及其附属湖泊等海域,属于咸淡水鱼类,体长
  • 米丽娅姆·马凯巴米丽娅姆·马凯巴(Miriam Makeba,1932年3月4日-2008年11月10日,南非歌手,外号“非洲妈妈”,曾荣获格莱美奖,并投入反对南非种族隔离运动。
  • 周延儒顾祖训撰、黄应澄绘,《明状元图考》之周延儒像周延儒(1593年-1644年),字玉绳,号挹斋,直隶宜兴县宜城镇人,明末政治人物、状元,东阁大学士。因贻误军机,被赐死。周延儒少时聪颖,被誉为神