Agda - 30 Metrics & AHP Score
Agda is a Functional, Declarative, Dependent Types programming language first appeared in 1999, designed by Ulf Norell. Main use cases: Theorem Proving, Formal Verification, Academic Research.
Compare 200+ programming languages across 30 metrics including performance, popularity, salary, job market and learning curve. Multilingual matrix with AHP-weighted scoring.
Welcome to ProgramLangCompare, the multilingual matrix that helps developers, students, and engineering leaders compare the world’s most popular programming languages.
Choosing a programming language is one of the most consequential decisions a team can make. Each language has its own performance profile, ecosystem, learning curve, salary expectations, and job market demand. ProgramLangCompare brings together 200+ languages across 30 metrics in a single, searchable, multilingual matrix.
ProgramLangCompare is available in 24 languages. Use the language switcher in the header.
Start by browsing programming languages, exploring comparisons, or opening the AHP calculator.
Agda is a Functional, Declarative, Dependent Types programming language first appeared in 1999, designed by Ulf Norell. Main use cases: Theorem Proving, Formal Verification, Academic Research.
BARON is a Declarative, Mathematical programming language first appeared in 1991, designed by Nick Sahinidis. Main use cases: Optimization Modeling, Operations Research, LP/MIP.
Cairo is a Contract-Oriented, Functional programming language first appeared in 2019, designed by StarkWare. Main use cases: Smart Contracts, DeFi, Web3.
Carbon is a Procedural, Object-Oriented, Generic programming language first appeared in 2022, designed by Google. Main use cases: Systems Programming, Embedded, Performance-Critical Applications.
Clipper is a Declarative, Set-Oriented programming language first appeared in 1985, designed by Nantucket. Main use cases: Database Queries, Stored Procedures, Data Manipulation.
Component Pascal is a Procedural, Imperative programming language first appeared in 1997, designed by Oberon Microsystems. Main use cases: Business Processing, Legacy Systems, Batch Processing.
Idris is a Functional, Declarative, Dependent Types programming language first appeared in 2007, designed by Edwin Brady. Main use cases: Theorem Proving, Formal Verification, Academic Research.
Lazarus is a Object-Oriented, Functional programming language first appeared in 1999, designed by Free Pascal Team. Main use cases: Enterprise Applications, Backend Services, Desktop Applications.
Move is a Contract-Oriented, Functional programming language first appeared in 2019, designed by Diem. Main use cases: Smart Contracts, DeFi, Web3.
S-PLUS is a Multi-paradigm programming language first appeared in 1988, designed by Statistical Sciences. Main use cases: Data Science, Scientific Computing, Statistics.
Vyper is a Contract-Oriented, Functional programming language first appeared in 2017, designed by Vitalik Buterin. Main use cases: Smart Contracts, DeFi, Web3.
WAT is a Imperative, Low-Level programming language first appeared in 2017, designed by W3C. Main use cases: Intermediate Representation, Compilation, Portability.
Xpress is a Declarative, Mathematical programming language first appeared in 1983, designed by Dash Optimization. Main use cases: Optimization Modeling, Operations Research, LP/MIP.
AMPL is a Declarative, Mathematical programming language first appeared in 1985, designed by Bell Labs. Main use cases: Optimization Modeling, Operations Research, LP/MIP.
AssemblyScript is a Imperative, Low-Level programming language first appeared in 2017, designed by AssemblyScript Team. Main use cases: Intermediate Representation, Compilation, Portability.
AutoLISP is a Functional, Procedural programming language first appeared in 1986, designed by Autodesk. Main use cases: Editor Extension, Automation, Text Processing.
Backbone.js is a Declarative, Component-Based, Functional programming language first appeared in 2010, designed by Jeremy Ashkenas. Main use cases: Web Frontend, Single Page Applications, UI Development.
ClojureScript is a Functional, Pure programming language first appeared in 2011, designed by Rich Hickey. Main use cases: Functional Programming, Academic Research, Type-Safe Applications.
COIN-OR is a Declarative, Mathematical programming language first appeared in 2002, designed by COIN-OR Foundation. Main use cases: Optimization Modeling, Operations Research, LP/MIP.
CPLEX is a Declarative, Mathematical programming language first appeared in 1988, designed by CPLEX Optimization. Main use cases: Optimization Modeling, Operations Research, LP/MIP.
Crystal is a Object-Oriented, Functional, Procedural programming language first appeared in 2014, designed by Manas. Main use cases: Web Development, Automation, Scripting.
D is a Procedural, Object-Oriented, Generic programming language first appeared in 2001, designed by Walter Bright. Main use cases: Systems Programming, Embedded, Performance-Critical Applications.
Elm is a Declarative, Component-Based, Functional programming language first appeared in 2012, designed by Evan Czaplicki. Main use cases: Web Frontend, Single Page Applications, UI Development.
EViews is a Multi-paradigm programming language first appeared in 1994, designed by Quantitative Micro Software. Main use cases: Data Science, Scientific Computing, Statistics.
Expect is a Procedural, Object-Oriented programming language first appeared in 1990, designed by Don Libes. Main use cases: Automation, Scripting, DevOps.
FlatBuffers is a Declarative, Interface programming language first appeared in 2014, designed by Google. Main use cases: Interface Definition, RPC, Schema.
FoxPro is a Declarative, Set-Oriented programming language first appeared in 1989, designed by Fox Software. Main use cases: Database Queries, Stored Procedures, Data Manipulation.
Free Pascal is a Object-Oriented, Functional programming language first appeared in 1993, designed by Florian Klämpfl. Main use cases: Enterprise Applications, Backend Services, Desktop Applications.
GitBook is a Declarative, Templating programming language first appeared in 2013, designed by GitBook Team. Main use cases: Static Site Generation, Documentation, Blogging.
GLPK is a Declarative, Mathematical programming language first appeared in 2000, designed by Andrew Makhorin. Main use cases: Optimization Modeling, Operations Research, LP/MIP.