九款编程语言以及缔造它们的伟大女性

CLU

缔造者: Barbara Liskov

年份: 1974年

背景故事: 面向对象型编程语言的一大革命性发展标志正是上世纪七十年代中期CLU语言的诞生。CLU的设计与开发由麻省理工学院的Barbara Liskov负责领导，而她也是美国历史上第一位获得计算机科学博士学位的女性。通过CLU语言，Liskov提出了诸多概念（或者说将其引入流行），其中包括抽象数据类型、迭代器以及并行作业等等。CLU本身并不属于面向对象语言，因为它某些关键性的面向对象特性，例如继承。CLU虽然从来没能得到广泛应用，但它却给其后的众多著名语言带来了巨大的影响，例如Java、Python以及C++，它们都或多或少地采纳了来自CLU的先驱性概念。

Smalltalk

缔造者: Adele Goldberg协同Alan Kay、Dan Ingalls、Ted Kaehler、Diana Merry、Scott Wallace、Peter Deutsch以及其他Xerox PARC成员

年份: 1980年

背景故事: 正如二十年前COBOL的诞生让编程真正走入寻常百姓家，SmallTalk的一大设计目标正是构建一种适用于任何一位用户——而不仅仅是计算机科学家——并允许他们借此开发应用程序的语言。SmallTalk由Xerox公司的帕洛阿尔托研究中心（简称PARC）在Alan Kay的指导下创建而成，她的设计灵感则来源于Simula、世界上第一款面向对象程序。1973年，Adele Goldberg加入到Kay在PARC的开发团队，并在SmallTalk及其各类先驱性概念——例如模式-视图-控制器（图形化用户界面背后的关键性概念）、所见即所得编辑器以及集成化开发环境——的构建过程中扮演着重要角色。1979年，Goldberg在一台PARC Alto计算机上向Steve Jobs及其手下程序员展示了SmallTalk演示素材及其GUI设计，而这直接启发了苹果旗下Macintosh桌面系统的诞生。SmallTalk最初于1980年首次以SmallTalk-80的名头公开亮相，并对随后出现的多种知名编程语言产生了深远影响，包括Java、Objective-C以及Python。

BBC BASIC

缔造者: Sophie Wilson

年份: 1981年

背景故事: BBC BASIC也许是在史以来惟一一种专门为电视节目所开发出的编程语言。1981年，BBC公司希望推动一套名为“计算机素养项目”的电视节目，用于指导普通百姓学会编程。不过BBC公司的技术顾问们认为现有的BASIC版本还不足以完成这一目标。为了解决这个问题，BBC方面专而向Acorn Computers公司寻求帮助，希望由后者打造一款名为BBC Micro的新型计算机，外加一款专门面向电视节目的新型BASIC版本。Sophie Wilson是一位计算机科学家，而且在大学阶段就曾经开发出了Acorn的第一款计算机，即8位Acorn Microcomputer。Wilson以不足16KB的小巧体积为BBC编写出了BASIC的新版本，其中包含有命名规程、函数以及IF-THEN-ELSE结构等功能特性。计算机素养项目与BBC Micro以及Wilson的BBC BASIC给观众带来了巨大的冲击，正是这些让英国的观众们第一次接触到计算机以及编程的广阔世界。而且这些成果随后还被移植到多种其它平台之上。

Coq

缔造者: Christine Paulin-Mohring协同Thierry Coquand、Gérard Huet、Bruno Barras、Jean-Christophe Filliâtre、Hugo Herbelin、Chet Murthy、Yves Bertot以及Pierre Castéran

年份: 1991年

背景故事: 1984年，法国计算机科学家Gérard Huet以及Thierry Coquand开始着手开发一套交互型系统，专门针对数学定理进行相关证明过程。其初始版本为Coquand打造的Calculus of Constructions（即构造演算），简称为CoC。1991年，Christine Paulin-Mohrin以Calculus of Inductive Constructions为基础创建出了一套新的实现方案，并将该语言重新命名为Coq——这正是为了向Coquand致敬。除了数学定理之外，颇具知名度的Coq Proof Assistant System（即Coq证明辅助系统）也被用于进行软件验证。Paulin-Mohring已经被编程业界广泛视为这款重要语言及工具的主要开发者之一。

（编辑：应用网_丽江站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!