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

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

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

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

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

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

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

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