九种编程语言和创造它们的伟大女性。九种编程语言和创造它们的伟大女性乍一看，软件开发似乎一直是男性主导的世界。但尽管如此，在过去的几十年里，女性也为编程技术做出了重要且仍然至关重要的贡献。作为核心部门之一，在编程语言开发方面有很多女性从业者。早在大型机和机器代码时代，无数女性技术先驱就开始设计和开发用于指令计算机设备的语言，并在随后的汇编和更高级别的现代语言时代继续做出诸多贡献。在今天的文章中，我们将了解九种由女性技术人员创造的编程语言，它们多年来的重大影响，以及它们背后的创造者的故事。ARC汇编语言创始人：KathleenBooth年份：1950背景故事：在早期的计算机编程过程中，我们必须直接用机器代码编写程序，也就是说，我们必须编写一系列1和0的组合。汇编语言的出现让程序员可以用助记符的形式编写机器指令，而从机器码到汇编码的趋势也让计算机编程变得更容易、更可靠。最早出现的汇编语言之一是由当时在英国伯克贝克学院任教的KathleenBothth编写的。该语言是专门为ARC（自动中继计算机）开发的，Booth也帮助设计和构建了该计算机。地址创建者：KaterynaYushchenko年份：1955背景故事：欧洲诞生的第一台可编程计算机称为MESM，由苏联于1950年建造。负责其运行管理的科学家之一是YushchenkoSSRMathematics的KaterynaYushchenko乌克兰基辅科学院研究所研究员，也是第一位被苏联授予物理和数学科学博士学位的女性。由于用机器代码对MESM进行编程很困难，Yushcenko和她的同事认为需要一种更高级的编程语言来简化任务。1955年，尤先科创建了Address编程语言，这是第一个支持间接寻址机制的语言，出现时间早于西方发达国家许多著名的高级语言——比如COBOL。二十多年来，地址一直被苏联广泛使用。#p#COBOL创始人：GraceHopper等来自DataSystemsLanguageRecordingConference的成员年份：1959背景故事：COBOL，全称commonlanguageforbusiness，最初诞生于美国政府和各大公司的能力需要一种非技术人员可以在不同计算设备上使用的数据处理编程语言。该委员会负责开发这种新的编程语言，而GraceHopper是美国海军的主要技术顾问之一。早在该行业的第一个十年，Hopper就已经为UNIVAC系统创建了第一个编译器——即A-O——以及一系列其他早期的高级编程语言，如ARITH-MATIC和B-0，或FLOW-马蒂奇。FLOW-MATIC诞生于1955年，是一种使用英文关键字的商业应用开发语言。而后于1959年出现的COBOL终于继承了FLOW-MATIC中的大部分设计思想，并在次年推出了第一个正式版。也正是因为如此，Hopper才被业界尊为COBOL之母。FORMAC创建者：JeanSammet年份：1962背景：FORTRAN语言由IBM在1950年代开发，用于数学和科学计算任务。1961年，IBM聘请了数学家JeanSammet。她之前曾在SperryGyroscope和Sylvania从事科学编程工作，并与GraceHopper一起参与了COBOL语言的开发。1962年，Sammet在IBM开发了编程语言FORMAC（即FORmulaMAnipulationCompiler，公式运算编译器）。作为其扩展之一，FORTRAN可以执行各种代数运算。FORMAC后来成为第一种广泛用于符号数学计算的编程语言。徽标创建者：CynthiaSolomon与DanielG.Bobrow、WallyFeurzeig和SeymourPapert合作年份：1967背景故事：在1960年代后期，来自马萨诸塞州剑桥市的Bolt、Beranek和Newman的研究团队成员意识到这是必要的开发一种专门面向儿童的、大量使用单词和句子代替数字和符号的编程语言——这种设计思路明显不同于当时的各种主流编程语言。辛西娅·所罗门(CynthiaSolomon)就是这样一位研究人员，她在麻省理工学院自学Lisp时开始了计算机科学之旅，她是人工智能领域的先驱。所罗门帮助开发了一种名为Logo的新语言，并在1960年代后期制定了教七年级学生如何使用它的指南。Logo语言最著名的符号应用就是大家耳熟能详的小乌龟机器人，用户可以通过它发出指令，绘制出各种几何图形。所罗门最终加入了麻省理工学院的人工智能实验室，后来领导了苹果标志的创作。Logo影响了之后出现的各种教育编程语言，比如SmallTalk和Scratch。#p#CLU创建者：BarbaraLiskov年份：1974背景故事：面向对象编程语言的一个重大革命性发展标志是20世纪70年代中期CLU语言的诞生。CLU的设计和开发由麻省理工学院的BarbaraLiskov领导，她也是美国历史上第一位获得博士学位的女性。在计算机科学中。通过CLU语言，Liskov提出（或使其流行）许多概念，包括抽象数据类型、迭代器和并行作业。CLU本身不是一种面向对象的语言，因为它有一些关键的面向对象的特性，比如继承。CLU虽然从未被广泛使用，但对后来的许多著名语言产生了巨大的影响，如Java、Python、C++等都或多或少地采用了来自CLU的开创性概念。Smalltalk的创始人：AdeleGoldberg与AlanKay、DanIngalls、TedKaehler、DianaMerry、ScottWallace、PeterDeutsch以及其他XeroxPARC成员年份：1980背景故事：正如COBOL在二十年前诞生，编程变得真正司空见惯之一伙计们，SmallTalk的设计目标是构建一种适用于任何用户（不仅仅是计算机科学家）的语言，并允许他们在其中开发应用程序。SmallTalk是由施乐的帕洛阿尔托研究中心(PARC)在AlanKay的指导下创建的，其设计灵感来自世界上第一个面向对象程序Simula。1973年，AdeleGoldberg加入Kay在PARC的开发团队，致力于SmallTalk及其各种开创性概念，如模式-视图-控制器（图形用户界面背后的关键概念）、所见即所得编辑在构建过程中发挥了重要作用服务器和集成开发环境。1979年，Goldberg在PARCAlto计算机上向SteveJobs和他的程序员展示了SmallTalk演示材料和GUI设计，这直接激发了苹果Macintosh桌面系统的诞生。SmallTalk最初于1980年以SmallTalk-80的名称首次公开亮相，并对随后的许多知名编程语言产生了深远的影响，包括Java、Objective-C和Python。#p#BBCBASIC创建者：SophieWilson年份：1981背景故事：BBCBASIC可能是有史以来唯一专门为电视开发的编程语言。1981年，BBC希望推广一个名为“计算机扫盲计划”的电视节目，引导普通人学习编程。但是，BBC的技术顾问认为现有的BASIC版本还不足以完成这个目标。为了解决这个问题，BBC特意向AcornComputers求助，希望后者打造一台名为BBCMicro的新计算机，外加专门用于电视节目的新版BASIC。SophieWilson是一名计算机科学家，并在大学期间开发了Acorn的第一台计算机，即8位Acorn微型计算机。Wilson为BBC编写了一个不到16KB的小体积的新版BASIC，其中包括命名过程、函数和IF-THEN-ELSE结构等功能特性。ComputerLiteracyProgram以及BBCMicro和Wilson的BBCBASIC的影响是巨大的，正是它们首先向英国观众介绍了更广阔的计算机和编程世界。这些结果随后被移植到各种其他平台上。Coq的创造者：ChristinePaulin-Mohring与ThierryCoquand、GérardHuet、BrunoBarras、Jean-ChristopheFilliatre、HugoHerbelin、ChetMurthy、YvesBertot和PierreCastéran合作年份：1991背景故事：1984年，法国计算机科学家GérardHuet和ThierryCoquand着手开发一个交互式系统来证明数学定理。它的初始版本是由Coquand创建的CalculusofConstruction，简称CoC。1991年，ChristinePaulin-Mohrin创建了一个基于归纳构造微积分的新实现，并将语言重命名为Coq——向Coquand致敬。除了数学定理外，著名的CoqProofAssistantSystem（即CoqProofAssistantSystem）也用于软件验证。Paulin-Mohring被编程社区广泛认为是这一重要语言和工具的主要开发者之一。
