加载中...
编程语言
130 个词条主流编程语言
编程语言Groovy
运行于JVM的动态语言，2003年由James Strachan创建，语法是Java的简洁超集。以Gradle构建工具的DSL和Jenkins Pipeline脚本语法广为人知，也是Grails Web框架的基础。
编程语言Verilog
1984年由Gateway Design Automation开发的硬件描述语言，用代码描述数字电路的结构与行为，经IEEE标准化后成为芯片设计与FPGA开发的主流语言之一，现代处理器、SoC的RTL设计大量使用。
编程语言MATLAB
MathWorks于1984年商业化的矩阵计算与数值分析环境，以交互式工作区、丰富的工具箱和高质量可视化著称。工程、信号处理、控制系统、图像处理领域的工业标准，高校理工科教学普遍使用。
编程语言VHDL
VHSIC硬件描述语言，1980年代由美国国防部资助开发，1987年成为IEEE标准，与Verilog并列为数字电路设计的两大主流HDL，强类型与严格语义使其在欧洲航空航天和国防领域尤为普及。
编程语言Fortran
IBM于1957年发布的第一门高级编程语言，名称来自Formula Translation。超过六十年后，Fortran仍活跃于高性能科学计算：气候模型、天气预报、流体力学模拟、核物理计算大量使用Fortran编写的库和代码。
编程语言AWK
1977年由Aho、Weinberger、Kernighan在贝尔实验室开发的文本处理语言，名称取自三位作者姓氏首字母，以模式-动作对的形式处理结构化文本，是Unix工具链中数据提取与格式转换的经典工具。
编程语言Scheme
1975年由Guy Steele和Gerald Sussman在MIT设计的Lisp方言，以极简主义著称——核心语言规范仅数十页，却能推导出完整的计算能力，是计算机科学教育史上影响最深远的语言之一。
编程语言Zig
Andrew Kelley于2016年创建的系统级编程语言，目标是成为比C更安全、更可控的C替代品。无隐式内存分配、comptime编译期执行、和C的无缝互操作是其核心特性，Bun JavaScript运行时用Zig编写。
编程语言Racket
1995年发源于MIT Scheme的Lisp方言，以语言扩展能力著称——Racket被设计为「用来制造编程语言的编程语言」。DrRacket IDE和教学语言功能使其成为编程语言理论教育的重要工具，HTDP教材以其为基础。
编程语言Nim
Andreas Rumpf于2008年开始开发的静态类型编译型语言，能编译为C、C++或JavaScript，性能接近C但语法类似Python。宏系统和模板允许深度元编程，垃圾回收可配置甚至可关闭。
编程语言HTML
超文本标记语言，1991年由Tim Berners-Lee发明，是构成万维网页面的基础结构语言，历经HTML 2.0、4.01、XHTML到HTML5的演进，定义了浏览器渲染内容的语义框架。
编程语言Crystal
2014年发布的编译型静态类型语言，语法几乎和Ruby相同，通过LLVM编译为原生代码。目标是「Ruby的优雅，C的速度」，无需运行时GC暂停，类型推断让大多数代码无需类型标注。
编程语言Tcl
John Ousterhout于1988年在伯克利开发的脚本语言，以「一切皆字符串」为设计原则。Tk图形工具包与Tcl绑定成为Python tkinter的基础；EDA工具链（芯片设计自动化）是Tcl至今最活跃的使用领域。
编程语言OCaml
法国INRIA开发的ML方言，将函数式、面向对象和命令式编程融合，以强大的类型推断和模块系统著称。Jane Street等金融公司的交易系统大量使用OCaml，也是Coq定理证明器和Flow类型检查器的实现语言。
编程语言Smalltalk
1972年在施乐PARC研究中心诞生的面向对象语言，Alan Kay主导设计，万物皆对象、消息传递驱动计算，图形界面、MVC架构、IDE、即时编译等现代软件工程概念均在此萌发。
编程语言Erlang
爱立信1986年为电信交换机开发的并发函数式语言，以「九个九可用性」著称。Actor模型、进程隔离、热代码升级是其核心能力，WhatsApp曾用少量服务器运行Erlang支撑数亿用户。
编程语言Delphi
基于Object Pascal的快速应用开发环境，1995年由Borland推出，将Pascal的严谨类型系统与可视化设计器结合，在1990-2000年代是Windows企业开发的主流工具，今日仍活跃于遗留系统与跨平台领域。
编程语言D 语言
Walter Bright 设计的静态类型系统级语言，意在成为「更好的 C++」，以强大的编译期计算著称。
编程语言Prolog
1972年由Alain Colmerauer设计的逻辑编程语言，程序由事实和规则组成，执行靠自动推理和回溯搜索。曾是人工智能研究的主流工具，自然语言处理和约束求解领域至今有实际应用，IBM Watson的部分组件使用Prolog。
编程语言Ada
美国国防部于1983年标准化的强类型语言，专为安全关键系统设计。航空航天、军工、铁路控制系统是其主要应用领域，空客A380的飞控系统、波音777的飞行管理软件均有Ada代码，SPARK子集支持形式验证。