"genealogy" of programming languages. Languages are categorized under the ancestor language with the strongest influence. Those ancestor languages are listed in...

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

A fourth-generation programming language (4GL) is a high-level computer programming language that belongs to a class of languages envisioned as an advancement...

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

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

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

logic programming languages and some other declarative languages are fifth-generation languages. While fourth-generation programming languages are designed...

Computer programming portal Generational list of programming languages Categorical list of programming languages Very high-level programming languages Low-level...

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

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

create programs to control the behavior of a machine or to express algorithms. Generational list of programming languages List of programming languages by...

While a general-purpose programming language, ML is used heavily in programming language research and is one of the few languages to be completely specified...

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

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

code of the object. Most object-oriented languages are also imperative languages. In object-oriented programming, programs are treated as a set of interacting...

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

multi-paradigm programming language. The Racket language is a modern dialect of Lisp and a descendant of Scheme. It is designed as a platform for programming language...

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

programming language that runs on the BEAM virtual machine, which is also used to implement the Erlang programming language. Elixir builds on top of Erlang...

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

is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created...

programming portal Alphabetical list of programming languages BLIS/COBOL CODASYL Comparison of programming languages Generational list of programming...

natural languages, programming languages are designed to permit no ambiguity and to be concise. They are purely written languages and are often difficult...

Logo is an educational programming language, designed in 1967 by Wally Feurzeig, Seymour Papert, and Cynthia Solomon. Logo is not an acronym: the name...

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

a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts...

a number of features from relatively mainstream functional programming languages with features borrowed from proof assistants. The syntax of Idris shows...

general-purpose, high-level, object-oriented programming language based on the concept of prototypes. Self began as a dialect of Smalltalk, being dynamically typed...

characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields...

logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, Idris, and Lean, dependent types...