來源：互聯(lián)網(wǎng)
克里斯托弗·斯特雷奇（英語：Christopher Strachey，1916年11月16日—1975年5月18日）是一名出生于英國英格蘭倫敦漢普斯特德的計算機學者。他是指稱語義最早的提出者之一，也是程式語言設計的先驅，發(fā)展了程式語言CPL。
個人經(jīng)歷
克里斯托弗·斯特雷奇出身于斯特雷奇家族，其父為奧利佛·斯特雷奇（Oliver Strachey），其母為瑞吉兒·科斯特洛（Rachel Costelloe）。1935年，斯特雷奇進入劍橋大學國王學院就讀，最初主修數(shù)學，后來轉向物理學。
在大學第三年時，斯特雷奇因神經(jīng)衰弱，無法完成學業(yè)。他回家休養(yǎng)之后，雖然曾試圖重返校園，但仍然無法完全恢復。在休學后，進入標準電話與電纜公司（Standard Telephones and Cables，STC），擔任物理學研究員。
學術貢獻
1959年6月，斯特雷奇在國際信息處理大會（International Conference on Information Processing）上發(fā)表論文《大型高速計算機中的時間共享》（"時間 Sharing in Large Fast Computer"）。斯特雷奇在文中提出了虛擬化概念，還論述了什么是虛擬化技術。1960年，斯特雷奇提出了“一等公民”（First-class citizen），意指函數(shù)可作為電腦語言中的第一類公民。1967年把多態(tài)定義為兩個分支：特設多態(tài)（Ad-hoc polymorphism）和通用多態(tài)（Universal polymorphism），成為面向對象編程的基礎之一。
參考資料 >