1842年 ~ 1843年

据资料显示，阿达·洛芙莱斯在翻译意大利数学家路易吉·梅纳布雷亚关于查尔斯·巴贝奇分析机的论文时，添加了大量注释，其中详细描述了使用分析机计算伯努利数的算法。这份注释被认为是世界上第一个计算机程序，洛芙莱斯因此被广泛认为是第一位程序员。她引入了循环和子程序的概念，并预见了计算机不仅可用于数值计算，还可用于创作音乐和图形。尽管巴贝奇的分析机从未被完整建造，但洛芙莱斯的理论工作为后来的编程语言发展奠定了思想基础。

1936年

据资料显示，英国数学家阿兰·图灵发表了论文《论可计算数及其在判定问题上的应用》，提出了图灵机的理论模型。图灵机是一种抽象的计算模型，能够模拟任何计算机算法的逻辑。这一理论为可计算性理论奠定了基础，并直接影响了后来电子计算机和编程语言的设计。图灵还提出了通用图灵机的概念，即一台机器可以模拟任何其他图灵机，这成为现代存储程序计算机的理论基础。有观点认为，图灵机模型是理解编程语言语义的重要工具之一。

1943年 ~ 1945年

据资料显示，ENIAC（电子数值积分计算机）于1943年开始研制，1945年完成，是世界上第一台通用电子数字计算机。ENIAC最初通过重新接线和设置开关来编程，没有存储程序的概念。操作人员需要手动插拔电缆和设置开关来改变计算任务，过程极其繁琐。ENIAC的研制由约翰·莫奇利和J·普雷斯珀·埃克特领导，宾夕法尼亚大学摩尔电气工程学院承建。ENIAC的出现标志着电子计算时代的开始，同时也凸显了需要更高效编程方式的迫切性。

1945年06月

据资料显示，约翰·冯·诺依曼在1945年6月发表了《关于EDVAC的报告草案》，提出了存储程序计算机的概念，即程序和数据一样存储在计算机内存中。这一架构被称为冯·诺依曼架构，成为现代计算机的基础。该报告由冯·诺依曼、莫奇利、埃克特等人共同完成，描述了EDVAC（离散变量自动电子计算机）的设计。存储程序概念使得计算机可以自动执行指令序列，为高级编程语言的出现提供了硬件基础。有观点认为，这是计算机科学史上最重要的文献之一。

1949年

据资料显示，约翰·莫奇利和J·普雷斯珀·埃克特为UNIVAC I计算机开发了Short Code，这是最早的高级编程语言之一。Short Code是一种代数式语言，允许程序员使用数学表达式而不是机器码来编写程序。它需要通过解释器转换为机器码执行，运行速度较慢。Short Code主要用于UNIVAC计算机，支持简单的算术运算和条件判断。尽管Short Code并未广泛流行，但它开创了高级编程语言的先河，证明了用更接近人类语言的方式编写程序的可行性。

1951年

据资料显示，格蕾丝·霍珀在UNIVAC I计算机上开发了A-0系统，这是世界上第一个编译器。A-0系统能够将符号化的数学代码转换为机器码，使程序员不必直接编写二进制指令。霍珀是美国海军军官和计算机科学家，她提出了“编译器”这一术语。A-0最初被怀疑能否有效工作，但最终证明了其价值。霍珀后来参与了COBOL语言的发展。A-0的出现标志着编程语言从机器码向高级语言过渡的关键一步，为后续语言的发展铺平了道路。

1957年

据资料显示，约翰·巴克斯领导的IBM团队开发了FORTRAN（公式翻译系统），这是第一个广泛使用的高级编程语言。FORTRAN专为科学和工程计算设计，允许程序员使用数学公式编写代码，然后由编译器转换为机器码。FORTRAN I于1957年发布，包含变量、循环、条件语句和子程序等基本结构。它的出现极大地提高了编程效率，使科学家和工程师能够专注于问题本身而非机器细节。FORTRAN至今仍在科学计算领域广泛使用，有观点认为它是编程语言史上最重要的里程碑之一。

1958年

据资料显示，约翰·麦卡锡在麻省理工学院开发了LISP（列表处理语言），这是第二古老的高级编程语言（仅次于FORTRAN），也是最早支持函数式编程的语言。LISP基于λ演算理论，以符号表达式和递归为核心，广泛应用于人工智能研究。LISP引入了自动垃圾回收、递归、动态类型和自举编译等概念。麦卡锡在1958年发表论文《符号表达式的递归函数及其机器计算》，描述了LISP的理论基础。LISP的方言众多，如Scheme和Common Lisp，至今仍在人工智能和学术领域有重要影响。

1958年 ~ 1960年

据资料显示，国际计算机学会（ACM）和德国应用数学与力学学会（GAMM）联合成立了委员会，旨在设计一种通用的算法语言。1958年，该委员会提出了ALGOL 58（国际代数语言），随后在1960年发布了ALGOL 60。ALGOL 60引入了块结构、词法作用域、递归和BNF（巴科斯-诺尔范式）等概念，对后来的编程语言产生了深远影响。ALGOL 60是第一个清晰定义语法的语言，其报告使用了BNF描述语法。尽管ALGOL未在商业上广泛流行，但它成为许多语言（如Pascal、C、Simula）的灵感来源。

1959年

据资料显示，美国国防部召集了一个委员会，由格蕾丝·霍珀等人参与，制定了COBOL（面向商业的通用语言）规范。COBOL于1959年正式发布，专为商业数据处理设计，强调数据描述和文件处理。它引入了记录、表、文件等概念，语法接近英语，便于非技术人员阅读。COBOL在金融、保险和政府领域得到广泛应用，至今仍有大量遗留系统使用COBOL。据资料显示，COBOL是世界上最早标准化（ANSI标准于1968年）的编程语言之一，其代码量在商业领域极为庞大。

1962年

据资料显示，肯尼斯·艾弗森在1962年发表了《一种编程语言》一书，描述了他设计的APL（A Programming Language）。APL以其独特的数学符号和数组编程能力著称，能够用极短的代码表达复杂的数组运算。APL最初用于描述计算机系统，后来被实现为交互式编程语言。APL的符号集需要特殊键盘，但其强大的数组处理能力在金融、保险和工程领域得到应用。有观点认为，APL是函数式编程和数组编程的先驱之一，影响了后来的J语言和MATLAB等。

1964年

据资料显示，约翰·凯梅尼和托马斯·库尔茨在达特茅斯学院开发了BASIC（初学者通用符号指令代码），旨在让非科学专业的学生也能轻松使用计算机。BASIC于1964年5月1日首次运行，语法简单，易于学习，支持交互式编程。它最初运行在达特茅斯分时系统上。BASIC迅速流行，成为微型计算机时代最广泛使用的语言之一，微软的创始人比尔·盖茨和保罗·艾伦为Altair 8800开发了BASIC解释器。BASIC的多种方言（如Visual Basic）至今仍在使用。

1965年

据资料显示，IBM与科学数据中心合作开发了PL/I（编程语言一号），旨在统一科学计算和商业数据处理。PL/I于1965年发布，综合了FORTRAN、COBOL和ALGOL的特性，支持递归、结构化编程、异常处理和并发。PL/I是第一个支持多任务和异常处理的主流语言之一，但因其庞大和复杂而受到批评。据资料显示，PL/I在IBM大型机上广泛使用，影响了后来的语言如Ada。有观点认为，PL/I的失败在于试图成为“万能语言”，导致编译器复杂且效率低下。

1967年

据资料显示，挪威计算机科学家奥利-约翰·达尔和克里斯汀·尼加德在1967年开发了Simula 67，这是第一个面向对象编程语言。Simula最初是作为模拟语言设计的，引入了类、对象、继承、多态等概念。Simula 67的面向对象特性对后来的Smalltalk、C++和Java产生了深远影响。据资料显示，Simula 67还引入了协程和垃圾回收机制。尽管Simula未广泛流行，但它在编程语言范式上的创新具有里程碑意义。有观点认为，Simula 67是面向对象编程的鼻祖。

1970年

据资料显示，尼克劳斯·维尔特在1970年发布了Pascal语言，旨在提供一种结构化编程的教学语言。Pascal基于ALGOL，但简化了语法，强调数据类型和结构化控制流。Pascal迅速成为计算机科学教育的标准语言，并广泛应用于商业软件开发。Turbo Pascal由博兰公司于1983年发布，极大推动了Pascal的普及。Pascal还影响了后续语言如Modula-2和Oberon。有观点认为，Pascal的设计哲学强调简洁和效率，对软件工程实践产生了积极影响。

1972年

据资料显示，丹尼斯·里奇在贝尔实验室开发了C语言，最初用于重写UNIX操作系统。C语言结合了低级语言（如汇编）的效率和高级语言的可移植性，支持指针、结构体、位运算等。1973年，UNIX内核用C重写，证明了C的强大。C语言的标准由ANSI在1989年制定（C89），后经ISO更新（C99、C11等）。C语言成为系统编程、嵌入式开发和操作系统的事实标准，影响了C++、Java、C#等众多语言。有观点认为，C语言是现代编程语言的基石之一。

1972年

据资料显示，阿兰·科尔梅劳尔在1972年开发了Prolog（逻辑编程语言），基于一阶谓词逻辑。Prolog广泛用于人工智能、自然语言处理和专家系统。它采用声明式编程范式，程序员描述事实和规则，系统自动推理。Prolog的语法包括事实、规则和查询，支持回溯和模式匹配。据资料显示，Prolog是日本第五代计算机项目的主要语言。有观点认为，Prolog在知识表示和自动推理方面具有独特优势，但因其执行效率问题未在主流商业应用中普及。

1975年

据资料显示，比尔·盖茨和保罗·艾伦为Altair 8800开发了BASIC解释器，并于1975年创立微软。这一事件标志着微型计算机软件产业的诞生。Altair BASIC是第一个为个人计算机编写的商业软件，尽管最初被非法复制，但盖茨发表了《致爱好者的公开信》批评盗版。微软BASIC后来成为许多个人计算机的标准配置，如Apple II和Commodore 64。据资料显示，微软的BASIC产品线最终演变为Visual Basic，对编程普及产生了巨大影响。

1978年

据资料显示，布莱恩·柯林汉和丹尼斯·里奇合著了《C程序设计语言》一书，通常被称为“K&R C”。这本书成为C语言的非正式标准，定义了C的语法和语义。K&R C引入了经典的“Hello, World!”程序示例，成为编程入门传统。书中还描述了C的原始特性，如函数声明、结构体等。据资料显示，K&R C对C语言的普及起到了关键作用，直到ANSI C（C89）发布前，它一直是事实上的标准。有观点认为，这本书是计算机科学史上最具影响力的教材之一。

1980年

据资料显示，比雅尼·斯特劳斯特鲁普在贝尔实验室开始开发C++，最初称为“C with Classes”。C++在C语言基础上增加了类、继承、多态、模板等面向对象和泛型编程特性。1983年，语言被正式命名为C++。C++于1985年发布第一个商业版本，1998年发布ISO标准（C++98）。C++广泛应用于游戏开发、系统软件、高性能计算等领域。据资料显示，C++的设计哲学是“零开销抽象”，即高级特性不应带来额外运行时开销。有观点认为，C++是迄今为止最复杂的编程语言之一。

1983年

据资料显示，约翰·奥斯特豪特在1983年发布了Tcl（工具命令语言），设计用于嵌入式脚本和快速原型开发。Tcl语法简单，一切皆命令，支持动态类型和字符串处理。Tcl常与Tk图形工具包结合使用，称为Tcl/Tk，用于创建图形用户界面。Tcl广泛应用于EDA工具、网络设备和测试自动化。据资料显示，Tcl的嵌入性使其成为许多应用程序的脚本语言。有观点认为，Tcl在脚本语言领域具有重要地位，但后来被Python和Perl等语言超越。

1983年

据资料显示，拉里·沃尔在1983年发布了Perl语言，最初用于文本处理和报告生成。Perl结合了C、sed、awk和shell脚本的特性，以其强大的正则表达式和字符串处理能力著称。Perl 5于1994年发布，引入了模块和面向对象编程。Perl被称为“互联网的胶带”，广泛用于CGI脚本、系统管理和网络编程。据资料显示，Perl的座右铭是“条条大路通罗马”，强调灵活性。有观点认为，Perl的语法复杂且难以维护，但其在文本处理领域的地位不可替代。

1987年

据资料显示，拉里·沃尔在1987年发布了Perl 1.0，最初作为UNIX系统管理工具。Perl的设计受到awk、sed和shell脚本的影响，旨在处理文本和生成报告。Perl 1.0引入了变量、控制结构和正则表达式。随后Perl 2（1988年）增加了更多特性。Perl 3（1989年）和Perl 4（1991年）继续改进。Perl 5（1994年）是一次重大重写，引入了模块、对象和引用。据资料显示，Perl在1990年代成为CGI编程的主流语言，推动了早期互联网的发展。

1990年

据资料显示，吉多·范罗苏姆在1990年开始开发Python，作为ABC语言的继承者。Python于1991年首次发布（0.9.0），强调代码可读性和简洁语法。Python支持多种编程范式，包括面向对象、函数式和过程式。Python 2.0于2000年发布，引入了垃圾回收和Unicode支持。Python 3.0于2008年发布，不向后兼容，但逐渐成为主流。据资料显示，Python在数据科学、机器学习、Web开发和自动化领域广泛应用。有观点认为，Python是当前最受欢迎的编程语言之一。

1991年

据资料显示，詹姆斯·高斯林在太阳微系统公司领导开发了Java语言，最初名为Oak，用于消费电子设备。1995年，Java 1.0正式发布，提出“一次编写，到处运行”的口号，通过Java虚拟机（JVM）实现跨平台。Java语法类似C++，但简化了内存管理，引入自动垃圾回收。Java广泛应用于企业级应用、Android开发和Web服务。据资料显示，Java于2010年被甲骨文收购。有观点认为，Java是企业级开发中最流行的语言之一，其生态系统的庞大性无与伦比。

1993年

据资料显示，拉斯穆斯·勒多夫在1993年创建了PHP（超文本预处理器），最初用于跟踪个人简历访问。PHP于1995年发布，逐渐演变为服务器端脚本语言，嵌入HTML中。PHP 4（2000年）和PHP 5（2004年）引入了面向对象编程。PHP 7（2015年）大幅提升性能。PHP广泛应用于Web开发，是WordPress、Wikipedia等网站的基础。据资料显示，PHP驱动了超过70%的网站。有观点认为，PHP的易用性使其成为Web开发入门语言，但也因设计不一致而受到批评。

1995年

据资料显示，布伦丹·艾希在网景公司开发了JavaScript，最初名为Mocha，后改为LiveScript，最终于1995年命名为JavaScript。JavaScript是一种动态类型、基于原型的脚本语言，主要用于网页交互。1997年，ECMAScript标准发布（ECMA-262），JavaScript成为其实现之一。据资料显示，JavaScript在AJAX、Node.js（2009年）等技术推动下，成为全栈开发语言。有观点认为，JavaScript是世界上最流行的编程语言之一，但其设计缺陷也广受诟病。

1995年

据资料显示，松本行弘在1995年发布了Ruby语言，旨在结合Perl的实用性和Smalltalk的面向对象特性。Ruby语法优雅，支持动态类型和反射。2004年，Ruby on Rails框架发布，极大推动了Ruby在Web开发中的应用。据资料显示，Ruby的设计哲学强调程序员幸福和简洁。Ruby广泛应用于Web开发、脚本和原型设计。有观点认为，Ruby的社区文化独特，但性能问题限制了其在大规模系统中的应用。

2000年

据资料显示，安德斯·海尔斯伯格在微软领导开发了C#语言，于2000年发布。C#结合了C++和Java的特性，运行在.NET框架上。C#支持面向对象、泛型、LINQ、异步编程等。据资料显示，C#是微软.NET生态的核心语言，广泛应用于Windows应用、Web服务和游戏开发（Unity）。有观点认为，C#是Java的有力竞争者，其语言设计不断演进，引入了许多现代特性。

2003年

据资料显示，马丁·奥德斯基等人开发了Scala语言，于2003年发布。Scala结合了面向对象和函数式编程，运行在JVM上。Scala的语法简洁，支持模式匹配、高阶函数和类型推断。据资料显示，Scala在大数据处理领域广泛应用，如Apache Spark。有观点认为，Scala是表达力最强的语言之一，但学习曲线陡峭。Scala的设计影响了后来的语言如Kotlin。

2007年

据资料显示，谷歌于2007年发布了Go语言，由罗伯特·格里泽默、罗布·派克和肯·汤普逊设计。Go旨在解决大规模软件开发中的问题，强调简洁、并发和快速编译。Go支持垃圾回收、goroutine和channel。据资料显示，Go在云计算、网络服务和DevOps工具中广泛应用，如Docker和Kubernetes。有观点认为，Go的成功在于其务实的设计和强大的标准库。

2009年

据资料显示，谷歌于2009年发布了Go语言的首个稳定版本。Go语言由罗伯特·格里泽默、罗布·派克和肯·汤普逊设计，旨在提供一种简洁、高效、支持并发的系统编程语言。Go的语法类似C，但引入了goroutine（轻量级线程）和channel（通信机制）。据资料显示，Go在云计算基础设施中广泛使用，如Docker和Kubernetes。有观点认为，Go的编译速度和并发模型是其最大优势。

2010年

据资料显示，微软于2010年发布了F#语言，这是一种函数式优先的编程语言，运行在.NET平台上。F#基于ML语言，支持函数式、命令式和面向对象编程。F#由唐·赛姆等人开发，广泛应用于数据分析、机器学习和金融建模。据资料显示，F#的语法简洁，支持类型推断和异步编程。有观点认为，F#是.NET生态中最重要的函数式语言。

2011年

据资料显示，杰夫·迪恩和桑杰·格玛瓦特在谷歌开发了Dart语言，于2011年发布。Dart旨在替代JavaScript，用于构建Web应用。Dart支持面向对象、可选类型和异步编程。据资料显示，Dart最初未被广泛接受，但后来通过Flutter框架在移动开发中流行。有观点认为，Dart的设计目标是提高开发效率和性能，但其生态相对较小。

2011年

据资料显示，JetBrains于2011年发布了Kotlin语言，旨在解决Java的冗长和空指针问题。Kotlin运行在JVM上，与Java互操作。2017年，谷歌宣布Kotlin为Android官方开发语言。据资料显示，Kotlin语法简洁，支持协程和扩展函数。有观点认为，Kotlin是现代Android开发的首选语言，其设计影响了后续语言。

2012年

据资料显示，安德斯·海尔斯伯格在微软领导开发了TypeScript，于2012年发布。TypeScript是JavaScript的超集，增加了静态类型和面向对象特性。TypeScript编译为JavaScript，可在任何浏览器运行。据资料显示，TypeScript在大型前端项目中广泛应用，如Angular和VS Code。有观点认为，TypeScript提高了JavaScript代码的可维护性和可靠性。

2014年

据资料显示，苹果公司于2014年发布了Swift语言，用于替代Objective-C开发iOS和macOS应用。Swift由克里斯·拉特纳领导开发，语法现代，支持类型推断、可选类型和协议扩展。Swift于2015年开源。据资料显示，Swift在苹果生态中迅速普及，成为移动开发的重要语言。有观点认为，Swift的设计兼顾了安全性和性能，是苹果平台开发的未来。

2015年

据资料显示，格雷登·霍尔等人开发了Rust语言，于2015年发布1.0版本。Rust由Mozilla赞助，旨在提供内存安全和高性能的系统编程。Rust通过所有权和借用检查器在编译时保证内存安全，无需垃圾回收。据资料显示，Rust在系统编程、嵌入式和WebAssembly领域受到关注。有观点认为，Rust是C++的有力替代者，但其学习曲线陡峭。

2019年

据资料显示，谷歌于2019年发布了Go语言1.13版本，进一步优化了模块系统和错误处理。Go语言自2009年发布以来，已成为云计算和微服务领域的主流语言。据资料显示，Go的goroutine和channel模型简化了并发编程。有观点认为，Go的简洁性和高性能使其成为DevOps和网络服务的首选语言之一。

2020年

据资料显示，Python在2020年成为TIOBE年度编程语言，其受欢迎程度持续上升。Python广泛应用于数据科学、机器学习和人工智能。据资料显示，Python的简洁语法和丰富库（如NumPy、Pandas、TensorFlow）使其成为科研和工业界的首选。有观点认为，Python的易学性使其成为编程入门的理想语言，但也存在性能问题。

2021年

据资料显示，Rust语言在2021年成为Stack Overflow调查中最受喜爱的编程语言之一。Rust的内存安全特性使其在系统编程中备受关注。据资料显示，Linux内核于2022年开始支持Rust。有观点认为，Rust的兴起反映了业界对安全性和性能的双重需求，其生态正在快速发展。

2022年

据资料显示，TypeScript在2022年成为GitHub上最常用的语言之一，超越了JavaScript。TypeScript的静态类型特性在大型项目中优势明显。据资料显示，微软的VS Code、Angular和许多前端框架都采用TypeScript。有观点认为，TypeScript的成功证明了静态类型在动态语言生态中的价值。

2023年

据资料显示，2023年，AI辅助编程工具如GitHub Copilot和ChatGPT的普及，对编程语言的使用产生了影响。Python因其在AI领域的优势而进一步流行。据资料显示，编程语言的发展趋势包括更强的类型系统、内存安全和并发支持。有观点认为，未来编程语言将更加注重开发者的生产力和代码的安全性。