This is a list of notable programming languages, grouped by type. The groupings are overlapping; not mutually exclusive. A language can be listed in multiple...

index to notable programming languages, in current or historical use. Dialects of BASIC, esoteric programming languages, and markup languages are not included...

There are thousands of programming languages. These are listed in various ways: This article includes a technology-related list of lists....

Programming languages can be grouped by the number and types of paradigms supported. A concise reference for the programming paradigms listed in this...

theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq...

selection of commonly used programming languages. See the individual languages' articles for further information. Most programming languages will print...

specified as part of programming languages and built into interpreters and compilers, although the type system of a language can be extended by optional tools...

In computer programming, an enumerated type (also called enumeration, enum, or factor in the R programming language, and a categorical variable in statistics)...

is a statically typed, compiled programming language created by Alexander Medvednikov in early 2019. It was inspired by the language Go, and other influences...

(Meta Language) is a general-purpose, high-level, functional programming language. It is known for its use of the polymorphic Hindley–Milner type system...

the top three languages in the TIOBE index, a measure of the popularity of programming languages. C is an imperative, procedural language in the ALGOL...

statically typed high-level general-purpose programming language that supports both object-oriented programming and functional programming. Designed to...

logic programming languages List of constructed languages Fifth-generation programming language Wodecki, Ben (May 5, 2023). "7 AI Programming Languages You...

Lisp (historically LISP, an abbreviation of "list processing") is a family of programming languages with a long history and a distinctive, fully parenthesized...

Go is a statically typed, compiled high-level programming language designed at Google by Robert Griesemer, Rob Pike, and Ken Thompson. It is syntactically...

statically typed, compiled system programming language designed by Andrew Kelley. It is intended as a successor to the language C, with the intent of being...

expressions in that language. This applies both to programming languages, where the document represents source code, and to markup languages, where the document...

of programming languages spans from documentation of early mechanical computers to modern tools for software development. Early programming languages...

a comparison of the features of the type systems and type checking of multiple programming languages. Brief definitions A nominal type system means that...

A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their syntax (form) and...

This list of JVM Languages comprises notable computer programming languages that are used to produce computer software that runs on the Java virtual machine...

high-level, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most...

statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support...

proof of concept, as software art, as a hacking interface to another language (particularly functional programming or procedural programming languages), or...

Comparison of programming languages History of programming languages List of programming languages List of programming languages by type Including build...

functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...

Hence machine types are mainly used in systems programming or low-level programming languages. In higher-level languages most data types are abstracted...

instances of subclasses of a generic "list" class, and traversed via separate iterators. Many programming languages provide support for list data types, and...

dynamic typing and static typing. This kind of a type system is called gradual typing, which is also implemented in other programming languages such as...

computing, a visual programming language (visual programming system, VPL, or, VPS), also known as diagrammatic programming, graphical programming or block coding...