Agda - 30项指标与AHP评分
Agda 是一种Functional, Declarative, Dependent Types编程语言,首次出现于 1999 年,由 Ulf Norell 设计。主要应用场景:Theorem Proving, Formal Verification, Academic Research。
对比 200+ 编程语言的 30 项指标,包括性能、流行度、薪资、就业市场和学习曲线。多语种矩阵与 AHP 加权评分。
欢迎使用 ProgramLangCompare,帮助开发者、学生和技术负责人对比全球主流编程语言的多语种矩阵。
选择编程语言是团队最具影响力的决策之一。每种语言都有各自的性能特征、生态系统、学习曲线、薪资预期和就业市场需求。ProgramLangCompare 将 200+ 语言在 30 项指标 上汇集到单一、可搜索、多语种的矩阵中。
ProgramLangCompare 提供 24 种语言版本。使用页头的语言切换器。
Agda 是一种Functional, Declarative, Dependent Types编程语言,首次出现于 1999 年,由 Ulf Norell 设计。主要应用场景:Theorem Proving, Formal Verification, Academic Research。
BARON 是一种Declarative, Mathematical编程语言,首次出现于 1991 年,由 Nick Sahinidis 设计。主要应用场景:Optimization Modeling, Operations Research, LP/MIP。
Cairo 是一种Contract-Oriented, Functional编程语言,首次出现于 2019 年,由 StarkWare 设计。主要应用场景:Smart Contracts, DeFi, Web3。
Carbon 是一种Procedural, Object-Oriented, Generic编程语言,首次出现于 2022 年,由 Google 设计。主要应用场景:Systems Programming, Embedded, Performance-Critical Applications。
Clipper 是一种Declarative, Set-Oriented编程语言,首次出现于 1985 年,由 Nantucket 设计。主要应用场景:Database Queries, Stored Procedures, Data Manipulation。
Component Pascal 是一种Procedural, Imperative编程语言,首次出现于 1997 年,由 Oberon Microsystems 设计。主要应用场景:Business Processing, Legacy Systems, Batch Processing。
Idris 是一种Functional, Declarative, Dependent Types编程语言,首次出现于 2007 年,由 Edwin Brady 设计。主要应用场景:Theorem Proving, Formal Verification, Academic Research。
Lazarus 是一种Object-Oriented, Functional编程语言,首次出现于 1999 年,由 Free Pascal Team 设计。主要应用场景:Enterprise Applications, Backend Services, Desktop Applications。
Move 是一种Contract-Oriented, Functional编程语言,首次出现于 2019 年,由 Diem 设计。主要应用场景:Smart Contracts, DeFi, Web3。
S-PLUS 是一种Multi-paradigm编程语言,首次出现于 1988 年,由 Statistical Sciences 设计。主要应用场景:Data Science, Scientific Computing, Statistics。
Vyper 是一种Contract-Oriented, Functional编程语言,首次出现于 2017 年,由 Vitalik Buterin 设计。主要应用场景:Smart Contracts, DeFi, Web3。
WAT 是一种Imperative, Low-Level编程语言,首次出现于 2017 年,由 W3C 设计。主要应用场景:Intermediate Representation, Compilation, Portability。
Xpress 是一种Declarative, Mathematical编程语言,首次出现于 1983 年,由 Dash Optimization 设计。主要应用场景:Optimization Modeling, Operations Research, LP/MIP。
AMPL 是一种Declarative, Mathematical编程语言,首次出现于 1985 年,由 Bell Labs 设计。主要应用场景:Optimization Modeling, Operations Research, LP/MIP。
AssemblyScript 是一种Imperative, Low-Level编程语言,首次出现于 2017 年,由 AssemblyScript Team 设计。主要应用场景:Intermediate Representation, Compilation, Portability。
AutoLISP 是一种Functional, Procedural编程语言,首次出现于 1986 年,由 Autodesk 设计。主要应用场景:Editor Extension, Automation, Text Processing。
Backbone.js 是一种Declarative, Component-Based, Functional编程语言,首次出现于 2010 年,由 Jeremy Ashkenas 设计。主要应用场景:Web Frontend, Single Page Applications, UI Development。
ClojureScript 是一种Functional, Pure编程语言,首次出现于 2011 年,由 Rich Hickey 设计。主要应用场景:Functional Programming, Academic Research, Type-Safe Applications。
COIN-OR 是一种Declarative, Mathematical编程语言,首次出现于 2002 年,由 COIN-OR Foundation 设计。主要应用场景:Optimization Modeling, Operations Research, LP/MIP。
CPLEX 是一种Declarative, Mathematical编程语言,首次出现于 1988 年,由 CPLEX Optimization 设计。主要应用场景:Optimization Modeling, Operations Research, LP/MIP。
Crystal 是一种Object-Oriented, Functional, Procedural编程语言,首次出现于 2014 年,由 Manas 设计。主要应用场景:Web Development, Automation, Scripting。
D 是一种Procedural, Object-Oriented, Generic编程语言,首次出现于 2001 年,由 Walter Bright 设计。主要应用场景:Systems Programming, Embedded, Performance-Critical Applications。
Elm 是一种Declarative, Component-Based, Functional编程语言,首次出现于 2012 年,由 Evan Czaplicki 设计。主要应用场景:Web Frontend, Single Page Applications, UI Development。
EViews 是一种Multi-paradigm编程语言,首次出现于 1994 年,由 Quantitative Micro Software 设计。主要应用场景:Data Science, Scientific Computing, Statistics。
Expect 是一种Procedural, Object-Oriented编程语言,首次出现于 1990 年,由 Don Libes 设计。主要应用场景:Automation, Scripting, DevOps。
FlatBuffers 是一种Declarative, Interface编程语言,首次出现于 2014 年,由 Google 设计。主要应用场景:Interface Definition, RPC, Schema。
FoxPro 是一种Declarative, Set-Oriented编程语言,首次出现于 1989 年,由 Fox Software 设计。主要应用场景:Database Queries, Stored Procedures, Data Manipulation。
Free Pascal 是一种Object-Oriented, Functional编程语言,首次出现于 1993 年,由 Florian Klämpfl 设计。主要应用场景:Enterprise Applications, Backend Services, Desktop Applications。
GitBook 是一种Declarative, Templating编程语言,首次出现于 2013 年,由 GitBook Team 设计。主要应用场景:Static Site Generation, Documentation, Blogging。
GLPK 是一种Declarative, Mathematical编程语言,首次出现于 2000 年,由 Andrew Makhorin 设计。主要应用场景:Optimization Modeling, Operations Research, LP/MIP。