OCaml
OCaml（ ），是一个函数式、指令式、模块化，Didier Rémy和Jérôme Vouillon，于1996年增加了面向对象特征，从而形成了“Objective Caml”，在2011年时重命名为“OCaml”。 OCaml工具链包括交互式顶层解释器、字节码编译器、优化的本机代码编译器，可逆调试器和一个包管理器（OPAM）。OCaml最初开发于自动定理证明的场景中，并在静态分析和形式方法软件中有超凡的存在感。此外，它在系统编程、网…
标签：#静态类型编程语言
共 24 篇文章
Cuneiform语言
Cuneiform是用于大规模科学数据分析的开源。 它是促进并行计算的静态类型的纯函数式编程语言。它的特征是有个全功能的，允许用户集成来自很多外部编程语言的软件。Cuneiform在组织层面上提供了一些设施，如条件分支和通用递归，使其具有图灵完备性。 概述 Cuneiform尝试拉近在科学工作流程系统如、或Galaxy，与大规模数据分析程序模型如MapReduce或Pig Latin之间的间隙，同时提供函数式编程语言的通用性。 Cune…
Fortran
Fortran，可音譯為福傳，源自於「公式翻译」（）的縮寫，它是通用的编译型指令式编程语言，特别适用于数值计算和科学计算。它在1957年由IBM開發出来，是世界上第一个被正式采用並流传至今的高级编程語言。 简介 Fortran最初由IBM在1950年代开发，并被用于世界上最快超级计算机的基准测试和排名。 Fortran有很多版本，每个都增加扩展却在很大程度上保持与前面版本的兼容性。后续版本已经增加支持了：结构化编程和基于字符数据的处理（…
Elm语言
Elm是一个领域特定编程语言，用于声明式地创建基于web浏览器的图形用户界面。Elm是纯函数式的，开发它时强调了易用性、性能和健壮性。它宣传为“实际上没有运行时间异常”，Elm编译器的静态类型检查使之成为可能。 历史 Elm最初由Evan Czaplicki在2012年作为毕业论文《Elm：用于函数式GUI的并发FRP而设计的。Elm的首次发行带有很多例子和一个在线编辑器，使得易于在web浏览器中试验它。Evan在2013年加入Prez…
D語言
D語言是一种程式語言，具备多範型，例如物件導向、指令式。由沃尔特·布莱特和安德烈·亞歷山德雷斯庫所開發，起源自C++，深受C++的影響，然而其不是C++的变种，而是重新设计来自C++的部分特性，并受到其它程式語言觀念的影響，如Java、C♯以及Eiffel。2007年1月2日釋出1.0穩定版本。2007年1月17日釋出2.0版本。 Walter Bright本身是Symantec C++編譯器的作者，另一名作者安德烈·亞歷山德雷斯庫是F…
C语言
{{Infobox programming language |name = C語言 |logo = File:C1stEdition.svg |logo_size = 160px |logo caption = 在第一部介绍C语言的书籍《C程序设计语言》的初版封面上使用的C标识 |paradigm = 程序式指令式编程（过程式）、结构化编程 |year = |designer = 丹尼斯·里奇（Dennis Ritchie） |dev…
C++23
C++23，正式名称ISO/IEC 14882:2024，是继C++20之后的C++编程语言开放标准。2020年2月，在捷克布拉格举行的C++20最终会议上，通过了C++23的总体计划。第一次针对C++23的WG21会议原定于2020年6月在保加利亚瓦尔纳举行，但由于2019冠状病毒病疫情而被迫取消。 原定于2020年11月在美国纽约召开的会议也被取消。 该标准于2023年2月由WG21在美国伊瑟阔举行的混合会议上从技术上最终确定。 新…
C++26
C++26是继C++23之后正在修订中的C++编程语言开放标准草案，其正式版本预计将于2026年发布。目前已发布的修订草案为N4981。 特性 已被C++26接受的新特性包括： 语言特性 未求值字符串（Unevaluated strings）。 将 @、$ 和 ` 添加到基本字符集。 支持从 void 进行 constexpr 转换。 用户自定义的 static_assert 消息。 无命名的占位变量（Placeholder varia…
ABAP
ABAP（高级商务应用编程）是一种高级语言，由德国软件公司SAP开发。目前，和最近引入的Java一起，ABAP主要用作SAP的编程。这个服务器软件是SAP NetWeaver平台的一部分，这个平台主要用来开发商务应用。ABAP支持有面向过程和面向对象。 历史 ABAP作为一种面向特定应用的第四代编程语言最早在20世纪80年代开发。它原本是作为一种报表语言应用在SAP R/2上，这是一个帮助大型公司在大型机上建立原材料管理和财务会计管理商…
Haskell
Haskell（）是一种标准化的，通用的纯函數式編程語言，有惰性求值和强静态类型。它的命名源自美国逻辑学家哈斯凱爾·加里，他在数理逻辑方面上的工作使得函数式编程语言有了广泛的基础。在Haskell中，“函数是頭等物件”。作为一门函數程式語言，主要控制结构是函数。Haskell语言是1990年在编程语言Miranda语言的基础上标准化的，并且以λ演算为基础发展而来。这也是为什么Haskell语言以希腊字母「λ」（Lambda）作为自己的标…
Solidity
Solidity是一種合約導向式語言，被應用於各種不同的區塊鏈平台，其主要開發者為，Christian Reitwiessner，Alex Beregszaszi，Liana Husikyan，Yoichi Hirai和其他幾位早期以太坊核心貢獻者。Solidity 可使程式開發人員能在區塊鏈上（例如以太坊）編寫智能合約。 歷史 Solidity的語法概念最早是由在2014年提出，後期則以Christian Reitwiessner所領…
Agda
Agda 是一个依赖类型的纯函数式编程语言。目前的版本，Agda 2，最初由瑞典查尔摩斯工学院的 Ulf Norell 作为博士论文课题设计并实现。先前的版本 Agda 1 由 Catarina Coquand 在 1999 年开发，而现今的版本则是对其的彻底重写，因此可视作一个全新的语言，但保留了 Agda 的命名和传统。 Agda 的类型系统体现了柯里-霍华德同构（Curry-Howard correspondence），因此亦可作…
Nemerle
Nemerle，是微軟公司提出的.NET平台上的新語言，由Wrocław大學的Kamil Skalski、Michał Moskal、Prof. Leszek Pacholski、Paweł Olszt等人發明。 範例 Hello, World! 一個傳統的"Hello World!"可以被寫成C#-like的風格： class Hello { static Main () : void { System.Console.WriteLi…
仓颉编程语言
仓颉编程语言是华为自主研发的编程语言，在2024年华为开发者大会上首次公开发布开发者预览版本。其研发可以追溯到2019年，当时华为启动了这一项目，并由南京大学计算机科学与技术系冯新宇教授担任首席架构师。语言的名称来自于仓颉造字。使用预览版本SDK需要填写姓名、手机号、身份证号等信息申请后并签署保密协议。 特性 华为宣称，仓颉编程语言具有原生智能化、天生全场景，高性能、强安全等特点。 生态 仓颉编程语言的编译器是cjc。CPM是仓颉语言内…
Zig
Zig是一种通用，采用静态类型。旨在成为C语言的继任者、提供更轻量更简单的编程体验、提供更丰富的功能，以MIT许可证发布。 Zig和C语言的区别主要在控制流、函数调用、库导入、变量声明和Unicode支持，且Zig不支持宏和预处理指令。Zig从现代语言引入了编译期泛型编程特性，允许函数在编译期处理各种数据，同时添加了一些新的编译器指令，以便通过反射访问和修改类型信息。 像C语言一样，Zig没有实现垃圾回收，而是选择手动管理内存，并添加了…
Modula-2
Modula-2，是一种通用的结构化过程式编程语言，由尼克劳斯·维尔特在1978年至1985年间于苏黎世联邦理工学院开发。它具有充分的灵活性用于系统编程，和更加广阔应用领域。特别是，它被设计为以一种直接的方式支持分离编译和数据抽象。它的很多语法基于了维尔特早先的周知语言Pascal。 历史 在1976年至1977年年間，维尔特在Xerox Palo Alto研究中心，與一群設計Alto電腦的工作夥伴一同工作。1978年，维尔特在瑞士聯邦…
Swift語言
Swift編程語言，支持多编程范式和編譯式，用来撰写基于macOS、iOS、iPadOS、watchOS、tvOS和visionOS的软件。 苹果公司于2014年在苹果开发者年会（WWDC）發布了Swift编程语言。从设计上苹果公司让Swift与Objective-C共存在苹果公司的操作系统上 2014年9月9日，Swift 1.0和iOS 8、Xcode 6.0的Golden Master版本一同发布，达成了一个重要的里程碑。 201…
Nim
Nim是一个指令式、通用、多范式、静态类型、编译型的编程语言，由Andreas Rumpf设计和开发，设计目标是高效、富有表现力以及优雅。Nim支持元编程、函数式、消息传递、过程式以及面向对象编程。 语言设计 Nim的设计目标是像C一样快速，像Python一样有表达力，并像Lisp一样有扩展性。具体地说，它受以下语言的影响： Modula-3：有跟踪的和无跟踪的指针 Delphi：类型安全的字符集 Ada：子范围类型、distinct类…
Reason语言
Reason也叫做ReasonML，是OCaml的一个扩展和工具链，它由还创建了React的Jordan Walke创建于Facebook。Reason提供了JavaScript编程者熟悉的语法，并可以转译成OCaml。静态类型的Reason（或OCaml）代码可以使用ReScript编译器编译成动态类型的JavaScript。 Reason社群官方提供了ReasonReact作为给基于web应用的React的解决方案。 参见 Elm：…
Kotlin
Kotlin是一種在Java虛擬機上執行的靜態型別程式語言，它也可以被編譯成為JavaScript原始碼。 历史 2011年7月，JetBrains在俄羅斯聖彼得堡的開發團隊推出Kotlin项目，其名稱來自於聖彼得堡附近的科特林島。2012年1月，著名期刊《》中Kotlin被认定为該月的最佳語言。。这是一个面向JVM的新语言，它已被开发一年之久。JetBrains负责人Dmitry Jemerov说，大多数语言没有他们正在寻找的特性，但…