约公元前3000年

据资料显示，人类最早的编程实践可追溯至古代美索不达米亚的算板与算法步骤记录，例如巴比伦数学文本中给出的求解线性方程与二次方程的逐步算法。有观点认为，这些泥板上的算法步骤体现了“程序”的雏形：以有限指令序列处理输入并产生输出。公元前约1800年的普林顿322号泥板展示了勾股数表，可能用于教学或计算辅助。同期古埃及《莱因德纸草书》给出分数运算与几何问题的逐步解法。这些算法没有可编程机器执行，但奠定了“形式化指令序列”的思想基础，对后世算法与程序设计语言的形成具有间接影响。相关地点包括尼普尔、巴比伦、底比斯等，关键文献包括《莱因德纸草书》《普林顿322》等。

约公元前300年

据资料显示，古希腊数学家欧几里得在《几何原本》中系统化地给出算法，如求最大公约数的辗转相除法，被视为最古老的著名算法之一。该算法以确定性的重复步骤求解问题，具有输入、输出、有限性与有效性等特征，后世在算法分析中常以其为例。有观点认为，辗转相除法体现了“机械化过程”的思想，对中世纪阿拉伯数学与欧洲数学的算法化传统产生影响。相关人物包括欧几里得，地点主要在亚历山大城，文献为《几何原本》卷七命题1与卷十命题2等。该传统后来通过阿拉伯语翻译传入欧洲，成为算法教育的重要内容。

约公元前100年

据资料显示，古代中国《九章算术》成书于汉代前后，系统收录了246个数学问题及其解法，涵盖方程术、盈不足术、开方术等算法。有观点认为，其中“方程术”使用算筹进行线性方程组消元，具有程序化特征；刘徽在公元263年为其作注，进一步阐明算法原理并引入极限思想（割圆术）。这些算法以算筹为“硬件”，以文字步骤为“程序”，在东亚数学传统中影响深远。相关地点为中国，关键人物包括刘徽，文献为《九章算术》及《九章算术注》。该传统体现了以算法为中心的数学体系，与古希腊演绎体系形成对照。

约公元825年

据资料显示，波斯数学家花拉子米（al-Khwarizmi）在巴格达“智慧宫”撰写《印度数字算术》与《代数学》，系统引入印度-阿拉伯数字与代数解法。其拉丁语译名“Algoritmi”后来演变为“algorithm”（算法）一词，对欧洲数学与计算传统产生深远影响。有观点认为，花拉子米的工作使算法从具体算筹操作转向可书写的符号化步骤，为后世程序设计语言中的过程抽象提供思想资源。相关机构包括阿拔斯王朝的智慧宫，地点在巴格达，关键人物为花拉子米。其著作在12世纪被译成拉丁语，推动了欧洲算术与代数教育。

1202年

据资料显示，意大利数学家斐波那契（Leonardo of Pisa）出版《计算之书》（Liber Abaci），系统介绍印度-阿拉伯数字与算法，包括商业算术、分数、方程等。书中提出著名的斐波那契数列问题（兔子繁殖），成为后世算法与递归教学的经典案例。有观点认为，该书推动了欧洲从算盘计算向笔算与算法化计算的转变，为文艺复兴时期的科学革命提供数学工具。相关人物为斐波那契，地点包括比萨与意大利商业城市，文献为《计算之书》。该书的传播促进了欧洲会计、金融与工程计算的发展。

1642年

据资料显示，法国数学家帕斯卡（Blaise Pascal）设计并制造了机械计算器“Pascaline”，用于加减法运算，以齿轮机构实现进位。该装置被视为早期计算硬件的重要里程碑，体现了“算法机械化”的工程实践。有观点认为，Pascaline虽未直接催生编程语言，但其设计思想影响了莱布尼茨等后续计算器与计算机的研制。相关人物为帕斯卡，地点在法国鲁昂等地，机构包括法国科学院前身组织。该装置现存多台于欧洲博物馆，据资料显示共制造约20台。

1673年

据资料显示，德国数学家莱布尼茨（Gottfried Wilhelm Leibniz）在伦敦展示其改进的机械计算器，可进行乘除法，并系统研究二进制算术。他于1703年发表二进制论文，阐明用0和1表示所有数的可能性。有观点认为，二进制为后世数字计算机与编程语言中的位运算、逻辑运算奠定基础。莱布尼茨还提出“通用字符”与“推理演算”构想，被视为形式化语言与逻辑编程的思想先驱。相关人物为莱布尼茨，地点包括汉诺威、伦敦、巴黎，文献包括《论只使用符号0和1的二进制算术》等。

1801年

据资料显示，法国发明家雅卡尔（Joseph Marie Jacquard）发明雅卡尔织机，使用穿孔卡片控制织布图案，实现可编程的自动化生产。穿孔卡片序列可视为“程序”，织机可视为执行机构。有观点认为，雅卡尔织机是早期可编程机器的典范，直接启发了巴贝奇与霍尔瑞斯等人在计算与数据处理方面的设计。相关人物为雅卡尔，地点在法国里昂，技术为穿孔卡片与机械控制。该发明在纺织业广泛传播，并引发对自动化与就业的社会讨论。

1837年

据资料显示，英国数学家查尔斯·巴贝奇（Charles Babbage）提出分析机（Analytical Engine）设计，包含算术逻辑单元、控制流、存储与输入输出等概念，使用穿孔卡片输入程序。有观点认为，分析机是现代通用计算机的雏形，其设计包含条件分支与循环等编程结构。相关人物包括巴贝奇与阿达·洛芙莱斯（Ada Lovelace），地点在伦敦，文献包括巴贝奇的设计笔记。分析机未能建成，但其思想对后世计算机体系结构与程序设计影响深远。

1843年

据资料显示，英国数学家阿达·洛芙莱斯（Ada Lovelace）翻译并大幅注释意大利工程师梅纳布雷亚关于分析机的论文，发表“注释”中包含计算伯努利数的详细算法，被视为最早发表的计算机程序之一。她提出分析机可处理符号而不仅限于数值，并讨论其潜在应用与局限。有观点认为，洛芙莱斯因此被视为首位程序员，其思想预示了通用计算的可能性。相关人物为阿达·洛芙莱斯与巴贝奇，地点在伦敦，文献为《分析机概论》注释。后世以“Ada”命名编程语言，以纪念其贡献。

1936年

据资料显示，英国数学家阿兰·图灵（Alan Turing）发表论文《论可计算数及其在判定问题上的应用》，提出图灵机模型，定义可计算性与通用计算。该模型包含无限纸带、读写头与状态转移规则，成为计算理论与编程语言语义学的基础。有观点认为，图灵机与丘奇λ演算共同奠定了可计算性理论，并影响后世函数式编程与形式语义。相关人物为图灵与丘奇（Alonzo Church），地点包括剑桥与普林斯顿，文献为1936年论文。图灵还提出“通用图灵机”概念，预示了存储程序计算机。

1943年 ~ 1945年

据资料显示，ENIAC（电子数值积分计算机）在美国宾夕法尼亚大学研制，1945年建成，用于计算弹道表。ENIAC通过插线与开关进行“编程”，没有高级语言。有观点认为，ENIAC的研制推动了电子数字计算机的发展，并催生了对更高效编程方法的需求。相关人物包括莫奇利（John Mauchly）与埃克特（J. Presper Eckert），地点在费城，机构为美国陆军弹道研究实验室与宾夕法尼亚大学。ENIAC的编程主要由女性计算员完成，包括凯瑟琳·安东内利等人。

1945年

据资料显示，冯·诺依曼（John von Neumann）等人在EDVAC报告中提出存储程序计算机体系结构，将指令与数据存储在同一存储器中，实现顺序执行与条件跳转。该架构成为现代计算机的基础，直接影响编程语言的设计：程序可被当作数据修改，促进了编译器与解释器的可能。相关人物包括冯·诺依曼、莫奇利、埃克特，地点包括普林斯顿高等研究院与宾夕法尼亚大学，文献为《EDVAC报告草案》。有观点认为，存储程序概念是编程语言发展的重要前提。

1949年

据资料显示，英国曼彻斯特大学的“曼彻斯特婴儿”计算机（Manchester Baby）首次成功运行存储程序，执行了求最大真因数的小程序。该机由威廉姆斯（Frederic C. Williams）与基尔伯恩（Tom Kilburn）等研制。有观点认为，这是现代计算机程序执行的里程碑，验证了存储程序架构的可行性。相关地点为曼彻斯特，机构为曼彻斯特大学，关键人物包括威廉姆斯、基尔伯恩与图灵。该实验推动了后续曼彻斯特Mark I与商业计算机的发展。

1951年

据资料显示，Grace Hopper在UNIVAC I上开发了A-0系统，被视为早期编译器之一，可将符号代码转换为机器码。她后来推动COBOL的发展。有观点认为，A-0与后续FLOW-MATIC使编程从机器码转向更接近自然语言的符号表达，降低了编程门槛。相关人物为Grace Hopper，机构为Eckert-Mauchly计算机公司（后并入Remington Rand），地点在美国。该工作为高级语言与编译技术奠定实践基础。

1957年

据资料显示，IBM的约翰·巴克斯（John Backus）团队发布FORTRAN（公式翻译）语言，面向科学计算，包含编译器优化。FORTRAN是首个广泛使用的高级编程语言，使科学家能以数学公式形式编写程序。有观点认为，FORTRAN的成功证明了高级语言可生成高效机器码，推动了编程语言多样化。相关人物为约翰·巴克斯，机构为IBM，地点在美国，文献为FORTRAN I手册。FORTRAN后续版本（如FORTRAN 77、90、2003等）持续演进。

1958年

据资料显示，约翰·麦卡锡（John McCarthy）在MIT提出LISP语言，基于λ演算，支持符号处理、递归与自动内存管理（垃圾回收）。LISP成为人工智能研究的核心语言，并影响后世函数式编程。有观点认为，LISP的S-表达式与宏系统提供了强大的元编程能力。相关人物为麦卡锡，机构为MIT，地点在美国，文献为LISP 1.5手册。LISP的方言包括Scheme、Common Lisp、Clojure等。

1958年 ~ 1960年

据资料显示，ALGOL 58与ALGOL 60由欧美计算机科学家委员会设计，引入块结构、词法作用域、BNF范式描述语法等。ALGOL 60报告由彼得·诺尔（Peter Naur）等编辑，成为编程语言设计的里程碑。有观点认为，ALGOL影响了Pascal、C、Simula等语言，并推动形式语法与编译器理论发展。相关人物包括巴克斯、诺尔、迪杰斯特拉等，机构包括ACM与GAMM，地点包括苏黎世、巴黎等地。ALGOL 60的递归与嵌套函数特性对后世语言影响深远。

1959年

据资料显示，COBOL（面向商业的通用语言）由美国国防部与工业界、学术界组成的CODASYL委员会制定，旨在商业数据处理。Grace Hopper参与推动。COBOL强调数据描述与过程分离，使用类似英语的语法，成为企业级应用的主流语言。有观点认为，COBOL的标准化与可移植性促进了商业软件产业。相关机构包括CODASYL、IBM、美国国防部，地点在美国。COBOL至今仍在金融、政府系统中广泛使用。

1964年

据资料显示，约翰·凯梅尼（John Kemeny）与托马斯·库尔茨（Thomas Kurtz）在达特茅斯学院开发BASIC语言，旨在让非理工科学生易于学习编程。BASIC使用解释器，语法简单，后来在微型计算机上广泛流行。有观点认为，BASIC降低了编程门槛，推动了个人计算机革命。相关人物为凯梅尼与库尔茨，机构为达特茅斯学院，地点在美国新罕布什尔州。微软的Altair BASIC（1975年）是早期微型计算机BASIC的重要版本。

1970年

据资料显示，尼克劳斯·维尔特（Niklaus Wirth）在瑞士苏黎世联邦理工学院（ETH Zurich）发布Pascal语言，强调结构化编程与数据类型，适合教学与系统开发。Pascal在20世纪80年代成为个人计算机上广泛使用的语言（如Turbo Pascal）。有观点认为，Pascal的设计影响了Modula-2、Oberon等语言，并推动了结构化编程教育。相关人物为维尔特，机构为ETH Zurich，文献为Pascal用户手册与报告。Pascal的编译器实现也促进了编译器教学。

1972年

据资料显示，丹尼斯·里奇（Dennis Ritchie）在贝尔实验室开发C语言，用于重写UNIX操作系统。C语言结合高级语言与低级内存操作，具有高效、可移植的特点，成为系统编程的主流语言。有观点认为，C语言影响了C++、Java、C#、Go等众多语言。相关人物为里奇与肯·汤普森（Ken Thompson），机构为贝尔实验室，地点在美国新泽西州。C语言的标准由ANSI C（C89）及后续ISO C标准规范。

1972年

据资料显示，阿兰·科尔梅劳尔（Alain Colmerauer）与菲利普·鲁塞尔（Philippe Roussel）在法国马赛大学开发Prolog语言，基于一阶谓词逻辑与归结原理，用于自然语言处理与人工智能。Prolog采用逻辑编程范式，程序由事实与规则组成，通过查询求解。有观点认为，Prolog推动了逻辑编程与专家系统的发展。相关人物包括科尔梅劳尔、鲁塞尔与罗伯特·科瓦尔斯基（Robert Kowalski），地点在法国马赛，文献为Prolog及其在自然语言处理中的应用。

1975年

据资料显示，比尔·盖茨与保罗·艾伦为Altair 8800微型计算机开发Altair BASIC，并创立微软。该事件被视为微型计算机软件产业的起点之一。有观点认为，BASIC在微型计算机上的普及使编程从专业机构走向大众。相关人物为盖茨与艾伦，机构为微软（最初名为Micro-Soft），地点在美国新墨西哥州阿尔伯克基。Altair BASIC以纸带形式发布，后来引发著名的“致爱好者的公开信”版权争议。

1980年

据资料显示，Bjarne Stroustrup在贝尔实验室开始开发C++，在C语言基础上加入类、继承、多态等面向对象特性，并保持与C的兼容性。C++于1985年发布首个商业版本。有观点认为，C++成为大型系统、游戏、高性能计算等领域的主流语言，并影响了Java、C#等语言。相关人物为Stroustrup，机构为贝尔实验室，地点在美国。C++标准历经C++98、C++11、C++14、C++17、C++20等多次修订。

1983年

据资料显示，美国国防部发布Ada语言，以纪念阿达·洛芙莱斯，旨在统一军用嵌入式系统编程。Ada强调强类型、并发与实时特性，并配套严格的编译与验证工具。有观点认为，Ada在航空航天、交通控制等安全关键领域有应用。相关机构为美国国防部，文献为Ada 83参考手册。Ada后续版本包括Ada 95、Ada 2005、Ada 2012等，由ISO标准化。

1983年

据资料显示，Bjarne Stroustrup的C++语言在贝尔实验室继续发展，1983年正式命名为C++。1985年发布《C++程序设计语言》第一版与CFront编译器。有观点认为，C++的RAII、模板、STL等特性对系统软件与泛型编程影响深远。相关人物为Stroustrup，机构为贝尔实验室，地点在美国。C++标准化工作于1998年完成（C++98），后续标准持续演进。

1987年

据资料显示，拉里·沃尔（Larry Wall）发布Perl语言，最初用于文本处理与报告生成，后成为CGI与系统管理脚本的常用语言。Perl以强大的正则表达式与“TIMTOWTDI”（条条大路通罗马）哲学著称。有观点认为，Perl推动了动态语言与Web开发的发展。相关人物为拉里·沃尔，地点在美国，文献为Perl 1.0发布公告。Perl 5（1994年）与Perl 6/Raku（2015年）是重要版本。

1991年

据资料显示，吉多·范罗苏姆（Guido van Rossum）发布Python语言，强调代码可读性与简洁语法，支持多范式编程。Python在科学计算、数据分析、人工智能、Web开发等领域广泛应用。有观点认为，Python的成功得益于其庞大的标准库与社区生态。相关人物为范罗苏姆，机构为CWI（荷兰国家数学与计算机科学研究中心），地点在荷兰阿姆斯特丹。Python 2与Python 3的兼容性过渡是重要历史事件。

1995年

据资料显示，詹姆斯·高斯林（James Gosling）与Sun Microsystems团队发布Java语言，提出“一次编写，到处运行”（Write Once, Run Anywhere），基于Java虚拟机（JVM）实现跨平台。Java在企业级应用、Android开发中广泛使用。有观点认为，Java的自动内存管理与丰富的类库推动了大型软件工程。相关人物为高斯林，机构为Sun Microsystems（后被Oracle收购），地点在美国。Java标准由JCP（Java Community Process）维护。

1995年

据资料显示，布兰登·艾克（Brendan Eich）在网景公司（Netscape）用约10天设计出JavaScript，最初名为Mocha，后改名LiveScript，最终为JavaScript。它成为Web浏览器脚本语言的事实标准，并由ECMAScript规范标准化。有观点认为，JavaScript的异步事件驱动模型与原型继承影响了现代Web与Node.js。相关人物为艾克，机构为网景与ECMA国际，地点在美国。ECMAScript版本包括ES5、ES6/ES2015等。

2000年

据资料显示，微软发布C#语言与.NET框架，由安德斯·海尔斯伯格（Anders Hejlsberg）主导设计。C#融合C++、Java等语言特性，支持面向对象、泛型、LINQ等，运行于公共语言运行时（CLR）。有观点认为，C#在Windows应用、游戏（Unity）与企业开发中广泛使用。相关人物为海尔斯伯格，机构为微软，地点在美国雷德蒙德。C#标准由ECMA与ISO标准化。

2009年

据资料显示，谷歌发布Go语言（Golang），由罗伯特·格里泽默（Robert Griesemer）、罗布·派克（Rob Pike）与肯·汤普森设计，强调简洁、并发与高效编译。Go内置goroutine与channel，适合云原生与网络服务。有观点认为，Go在Docker、Kubernetes等基础设施项目中广泛应用。相关机构为谷歌，地点在美国山景城，文献为Go语言规范。Go 1.0于2012年发布。

2010年

据资料显示，Rust语言由Graydon Hoare在Mozilla发起，2010年首次发布，强调内存安全与并发安全，通过所有权与借用检查在编译期消除数据竞争。Rust在系统编程、WebAssembly等领域受到关注。有观点认为，Rust的设计影响了新一代系统语言。相关人物为Hoare，机构为Mozilla，地点在美国。Rust 1.0于2015年发布，并由Rust基金会维护。

2014年

据资料显示，苹果公司发布Swift语言，用于替代Objective-C开发iOS与macOS应用。Swift强调安全、性能与现代语法，支持类型推断、可选类型与协议扩展。有观点认为，Swift的推出推动了苹果生态的开发效率。相关人物为克里斯·拉特纳（Chris Lattner），机构为苹果公司，地点在美国库比蒂诺。Swift于2015年开源，并发布Swift on Server等方向。

2019年

据资料显示，微软发布TypeScript的持续演进与C# 8.0等语言更新；同时，WebAssembly（Wasm）成为多语言编译目标，允许C/C++、Rust等语言在浏览器中运行。有观点认为，WebAssembly推动了编程语言跨平台与高性能Web应用的发展。相关机构包括W3C、微软、谷歌、Mozilla等，地点为全球协作。Wasm 1.0于2017年成为W3C推荐标准。

2020年

据资料显示，Python在TIOBE与IEEE Spectrum等排行榜中持续位居前列，成为人工智能与数据科学的主流语言。同时，Rust、Go、TypeScript等语言在系统、云原生与前端领域增长显著。有观点认为，编程语言生态正朝着多范式、跨平台与安全并重的方向演进。相关机构包括IEEE、TIOBE、GitHub等，数据来源为公开排行榜与开发者调查。该趋势反映了软件行业对开发效率与运行安全的需求。

2023年

据资料显示，大语言模型与AI辅助编程工具（如GitHub Copilot、ChatGPT等）广泛应用，改变了代码生成与编程学习方式。有观点认为，AI辅助编程可能降低编程门槛并提升效率，但也引发代码质量、版权与安全等讨论。相关机构包括OpenAI、GitHub、微软等，地点为全球。编程语言社区开始探索与AI工具集成的新工作流，如自然语言到代码的转换。

2024年

据资料显示，编程语言标准化与演进持续进行：C++23、Python 3.13、Go 1.22、Rust 2024版等发布或规划；WebAssembly组件模型推进跨语言互操作。有观点认为，未来编程语言将更注重内存安全、并发性能与跨平台互操作。相关机构包括ISO、ECMA、W3C、各语言基金会，地点为全球协作。开发者调查（如Stack Overflow）显示Rust连续多年被评为“最受喜爱”语言之一。