建站
咨詢(xún)
售后
建站咨詢(xún)
新聞中心
從大型機(jī)步入主流市場(chǎng)至今，女性這半邊天已經(jīng)為我們?cè)O(shè)計(jì)并開(kāi)發(fā)出了大量出色、而且目前仍給軟件開(kāi)發(fā)領(lǐng)域帶來(lái)深遠(yuǎn)影響的編程語(yǔ)言。
九款編程語(yǔ)言以及締造它們的偉大女性
從第一印象來(lái)講，軟件開(kāi)發(fā)工作似乎一直是個(gè)男性主導(dǎo)下的世界。但盡管如此，女性在過(guò)去幾十年中，同樣給編程技術(shù)帶來(lái)重要且至今仍具有關(guān)鍵意義的貢獻(xiàn)成果。作為其中的一大核心區(qū)劃，編程語(yǔ)言的開(kāi)發(fā)工作中亦不乏女性從業(yè)者們的身影。無(wú)數(shù)女性技術(shù)先驅(qū)者們?cè)缭诖笮蜋C(jī)與機(jī)器碼稱(chēng)雄的時(shí)代就開(kāi)始設(shè)計(jì)并開(kāi)發(fā)用于向計(jì)算機(jī)設(shè)備下達(dá)指令的語(yǔ)言，并在隨后的匯編以及更高級(jí)別的現(xiàn)代語(yǔ)言時(shí)代下繼續(xù)作出諸多貢獻(xiàn)。在今天的文章中，我們將一同了解九款出于女性技術(shù)人員之手的編程語(yǔ)言、它們多年來(lái)所產(chǎn)生的重大影響以及其背后締造者們的故事。
ARC匯編語(yǔ)言
締造者: Kathleen Booth
年份: 1950年
背景故事:在早期計(jì)算機(jī)編程流程當(dāng)中，我們必須以機(jī)器碼方式直接編寫(xiě)程序，也就是說(shuō)必須編寫(xiě)計(jì)算機(jī)能夠解讀并據(jù)此采取行動(dòng)的一系列1與0組合。匯編語(yǔ)言的出現(xiàn)讓程序員們得以通過(guò)助記符的形式來(lái)編寫(xiě)機(jī)器指令，而且由機(jī)器碼向匯編碼轉(zhuǎn)化的趨勢(shì)也讓計(jì)算機(jī)編程變得更容易也更可靠。出現(xiàn)時(shí)間最早的匯編語(yǔ)言之一出自Kathleen Botth之手，她當(dāng)時(shí)在英國(guó)的伯克貝克學(xué)院任教。該語(yǔ)言專(zhuān)門(mén)針對(duì)ARC（即自動(dòng)繼電器計(jì)算機(jī)）所開(kāi)發(fā)，而后者的設(shè)計(jì)與構(gòu)建工作同樣有Booth的參與。
Address
締造者: Kateryna Yushchenko
年份: 1955年
背景故事:歐洲地區(qū)誕生的第一款可編程計(jì)算機(jī)名為MESM，其由蘇聯(lián)于1950年所打造。負(fù)責(zé)其運(yùn)作管理工作的科學(xué)家之一正是位于基輔的烏克蘭科學(xué)院尤先科SSR數(shù)學(xué)研究所的Kateryna Yushchenko，她同時(shí)也是第一位被蘇聯(lián)授予物理與數(shù)學(xué)科學(xué)規(guī)劃博士頭銜的女性。由于在MESM上使用機(jī)器碼進(jìn)行編程的難度很高，因此Yushcenko和她的同事們認(rèn)為有必要打造一套更為高級(jí)的編程語(yǔ)言來(lái)簡(jiǎn)化這方面的工作。1955年，Yushchenko創(chuàng)造出了Address編程語(yǔ)言，這是第一種支持間接尋址機(jī)制的語(yǔ)言、而且出現(xiàn)時(shí)間早于西方發(fā)達(dá)國(guó)家的諸多知名高級(jí)語(yǔ)言——例如COBOL。Address在隨后的二十多年中一直被蘇聯(lián)所廣泛使用。
#p#
COBOL
締造者: Grace Hopper及其他來(lái)自數(shù)據(jù)系統(tǒng)語(yǔ)言記錄會(huì)議的成員
年份: 1959年
背景故事:COBOL，全稱(chēng)為面向商業(yè)的通用語(yǔ)言，最初的誕生契機(jī)源自美國(guó)政府以及各大企業(yè)對(duì)于能夠埃不同計(jì)算機(jī)設(shè)備之上、能夠?yàn)榉羌夹g(shù)人員使用的數(shù)據(jù)處理編程語(yǔ)言的需求。該委員會(huì)負(fù)責(zé)著這一新型編程語(yǔ)言的開(kāi)發(fā)，而Grace Hopper正是美國(guó)海軍方面的關(guān)鍵性技術(shù)顧問(wèn)之一。早在邁入這一行業(yè)頭一個(gè)十年，Hopper就曾經(jīng)在面對(duì)UNIVAC系統(tǒng)時(shí)創(chuàng)建出了第一款編譯器——也就是A-O——以及一系列其它早期高級(jí)編程語(yǔ)言，例如ARITH-MATIC以及B-0、或者叫作FLOW-MATIC。誕生于1955年的FLOW-MATIC是一款采用英文關(guān)鍵詞的商務(wù)應(yīng)用程序開(kāi)發(fā)語(yǔ)言。隨后于1959年出現(xiàn)的COBOL最終繼承了FLOW-MATIC中的大部分設(shè)計(jì)思路，并于次年推出了第一套正式版本——正是因?yàn)檫@一點(diǎn)，Hopper被業(yè)界尊為COBOL之母。
FORMAC
締造者: Jean Sammet
年份: 1962年
背景故事: FORTRAN語(yǔ)言于上世紀(jì)五十年代由IBM公司開(kāi)發(fā)而成，其主要面向數(shù)學(xué)計(jì)算以及科學(xué)計(jì)算任務(wù)。而在1961年，IBM公司雇用了數(shù)學(xué)家Jean Sammet。她此前曾經(jīng)在在Sperry Gyroscope以及Sylvania負(fù)責(zé)科學(xué)編程類(lèi)工作，并與Grace Hopper一同參與了COBOL語(yǔ)言的開(kāi)發(fā)。1962年，Sammet在IBM公司開(kāi)發(fā)出了編程語(yǔ)言FORMAC（即FORmula MAnipulation Compiler，公式操作編譯器）。而作為其擴(kuò)展成果之一，F(xiàn)ORTRAN能夠執(zhí)行各類(lèi)代數(shù)運(yùn)算。FORMAC而后成為第一款被廣泛用于進(jìn)行符號(hào)型數(shù)學(xué)計(jì)算的編程語(yǔ)言。
Logo
締造者: Cynthia Solomon協(xié)同Daniel G. Bobrow、Wally Feurzeig以及Seymour Papert
年份: 1967年
背景故事: 在上世紀(jì)六十年代末期，來(lái)自馬薩諸塞州坎布里奇Bolt、Beranek以及Newman的研究小組成員們意識(shí)到有必要開(kāi)發(fā)一套專(zhuān)門(mén)面向兒童的、大量采用單詞與語(yǔ)句而非數(shù)字及符號(hào)的編程語(yǔ)言——這一設(shè)計(jì)思路與當(dāng)時(shí)的各類(lèi)主流編程語(yǔ)言有著明顯的區(qū)別。其中一位研究人員正是Cynthia Solomon，她的計(jì)算機(jī)科學(xué)之旅始于在人工智能先驅(qū)機(jī)構(gòu)麻省理工學(xué)院Marvin Minsky自學(xué)Lisp語(yǔ)言的經(jīng)歷。Solomon參與了這款名為L(zhǎng)ogo的全新語(yǔ)言的開(kāi)發(fā)工作，并于上世紀(jì)六十年代末制定了向七年級(jí)學(xué)生教授其使用方法的指導(dǎo)細(xì)則。Logo語(yǔ)言最知名的象征性應(yīng)用就是我們耳熟能詳?shù)男『｝敊C(jī)器人，用戶(hù)可以對(duì)其發(fā)出指令以繪制各類(lèi)幾何圖形。Solomon最終加入到麻省理工學(xué)院的人工智能實(shí)驗(yàn)室，隨后還負(fù)責(zé)了蘋(píng)果商標(biāo)的創(chuàng)造工作。Logo影響了此后出現(xiàn)的多種教育性編程語(yǔ)言，例如SmallTalk以及Scratch。
#p#
CLU
締造者: Barbara Liskov
年份: 1974年
背景故事: 面向?qū)ο笮途幊陶Z(yǔ)言的一大革命性發(fā)展標(biāo)志正是上世紀(jì)七十年代中期CLU語(yǔ)言的誕生。CLU的設(shè)計(jì)與開(kāi)發(fā)由麻省理工學(xué)院的Barbara Liskov負(fù)責(zé)領(lǐng)導(dǎo)，而她也是美國(guó)歷史上第一位獲得計(jì)算機(jī)科學(xué)博士學(xué)位的女性。通過(guò)CLU語(yǔ)言，Liskov提出了諸多概念（或者說(shuō)將其引入流行），其中包括抽象數(shù)據(jù)類(lèi)型、迭代器以及并行作業(yè)等等。CLU本身并不屬于面向?qū)ο笳Z(yǔ)言，因?yàn)樗承╆P(guān)鍵性的面向?qū)ο筇匦裕缋^承。CLU雖然從來(lái)沒(méi)能得到廣泛應(yīng)用，但它卻給其后的眾多著名語(yǔ)言帶來(lái)了巨大的影響，例如Java、Python以及C++，它們都或多或少地采納了來(lái)自CLU的先驅(qū)性概念。
Smalltalk
締造者: Adele Goldberg協(xié)同Alan Kay、Dan Ingalls、Ted Kaehler、Diana Merry、Scott Wallace、Peter Deutsch以及其他Xerox PARC成員
年份: 1980年
背景故事: 正如二十年前COBOL的誕生讓編程真正走入尋常百姓家，SmallTalk的一大設(shè)計(jì)目標(biāo)正是構(gòu)建一種適用于任何一位用戶(hù)——而不僅僅是計(jì)算機(jī)科學(xué)家——并允許他們借此開(kāi)發(fā)應(yīng)用程序的語(yǔ)言。SmallTalk由Xerox公司的帕洛阿爾托研究中心（簡(jiǎn)稱(chēng)PARC）在A(yíng)lan Kay的指導(dǎo)下創(chuàng)建而成，她的設(shè)計(jì)靈感則來(lái)源于Simula、世界上第一款面向?qū)ο蟪绦颉?973年，Adele Goldberg加入到Kay在PARC的開(kāi)發(fā)團(tuán)隊(duì)，并在SmallTalk及其各類(lèi)先驅(qū)性概念——例如模式-視圖-控制器（圖形化用戶(hù)界面背后的關(guān)鍵性概念）、所見(jiàn)即所得編輯器以及集成化開(kāi)發(fā)環(huán)境——的構(gòu)建過(guò)程中扮演著重要角色。1979年，Goldberg在一臺(tái)PARC Alto計(jì)算機(jī)上向Steve Jobs及其手下程序員展示了SmallTalk演示素材及其GUI設(shè)計(jì)，而這直接啟發(fā)了蘋(píng)果旗下Macintosh桌面系統(tǒng)的誕生。SmallTalk最初于1980年首次以SmallTalk-80的名頭公開(kāi)亮相，并對(duì)隨后出現(xiàn)的多種知名編程語(yǔ)言產(chǎn)生了深遠(yuǎn)影響，包括Java、Objective-C以及Python。
#p#
BBC BASIC
締造者: Sophie Wilson
年份: 1981年
背景故事: BBC BASIC也許是在史以來(lái)惟一一種專(zhuān)門(mén)為電視節(jié)目所開(kāi)發(fā)出的編程語(yǔ)言。1981年，BBC公司希望推動(dòng)一套名為“計(jì)算機(jī)素養(yǎng)項(xiàng)目”的電視節(jié)目，用于指導(dǎo)普通百姓學(xué)會(huì)編程。不過(guò)BBC公司的技術(shù)顧問(wèn)們認(rèn)為現(xiàn)有的BASIC版本還不足以完成這一目標(biāo)。為了解決這個(gè)問(wèn)題，BBC方面專(zhuān)而向Acorn Computers公司尋求幫助，希望由后者打造一款名為BBC Micro的新型計(jì)算機(jī)，外加一款專(zhuān)門(mén)面向電視節(jié)目的新型BASIC版本。Sophie Wilson是一位計(jì)算機(jī)科學(xué)家，而且在大學(xué)階段就曾經(jīng)開(kāi)發(fā)出了Acorn的第一款計(jì)算機(jī)，即8位Acorn Microcomputer。Wilson以不足16KB的小巧體積為BBC編寫(xiě)出了BASIC的新版本，其中包含有命名規(guī)程、函數(shù)以及IF-THEN-ELSE結(jié)構(gòu)等功能特性。計(jì)算機(jī)素養(yǎng)項(xiàng)目與BBC Micro以及Wilson的BBC BASIC給觀(guān)眾帶來(lái)了巨大的沖擊，正是這些讓英國(guó)的觀(guān)眾們第一次接觸到計(jì)算機(jī)以及編程的廣闊世界。而且這些成果隨后還被移植到多種其它平臺(tái)之上。
Coq
締造者: Christine Paulin-Mohring協(xié)同Thierry Coquand、Gérard Huet、Bruno Barras、Jean-Christophe Filliatre、Hugo Herbelin、Chet Murthy、Yves Bertot以及Pierre Castéran
年份: 1991年
背景故事: 1984年，法國(guó)計(jì)算機(jī)科學(xué)家Gérard Huet以及Thierry Coquand開(kāi)始著手開(kāi)發(fā)一套交互型系統(tǒng)，專(zhuān)門(mén)針對(duì)數(shù)學(xué)定理進(jìn)行相關(guān)證明過(guò)程。其初始版本為Coquand打造的Calculus of Constructions（即構(gòu)造演算），簡(jiǎn)稱(chēng)為CoC。1991年，Christine Paulin-Mohrin以Calculus of Inductive Constructions為基礎(chǔ)創(chuàng)建出了一套新的實(shí)現(xiàn)方案，并將該語(yǔ)言重新命名為Coq——這正是為了向Coquand致敬。除了數(shù)學(xué)定理之外，頗具知名度的Coq Proof Assistant System（即Coq證明輔助系統(tǒng)）也被用于進(jìn)行軟件驗(yàn)證。Paulin-Mohring已經(jīng)被編程業(yè)界廣泛視為這款重要語(yǔ)言及工具的主要開(kāi)發(fā)者之一。
分享名稱(chēng)：九款編程語(yǔ)言以及締造它們的偉大女性
瀏覽地址：http://m.5511xx.com/article/cdjhpji.html
