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...

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

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...

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

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

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

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

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

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

ML (Meta Language) is a functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns...

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

history of language design. According to the HOPL online database of languages, out of the 8,500+ programming languages recorded, roughly 2,400 of them were...

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

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

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

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

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

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

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

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...

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

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

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

computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed...

science, a dynamic programming language is a class of high-level programming languages which at runtime execute many common programming behaviours that static...

List of user interface markup languages List of vector graphics markup languages HTML - Hyper Text Markup Language List of programming languages by type...

The C-family programming languages share significant features of the C programming language. Many were developmentally influenced by C due to its success...