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...
91 KB (6,912 words) - 09:59, 20 August 2024
index to notable programming languages, in current or historical use. Dialects of BASIC, esoteric programming languages, and markup languages are not included...
28 KB (1,311 words) - 16:52, 24 August 2024
There are thousands of programming languages. These are listed in various ways: This article includes a technology-related list of lists....
374 bytes (21 words) - 04:07, 18 April 2022
Programming languages can be grouped by the number and types of paradigms supported. A concise reference for the programming paradigms listed in this...
41 KB (1,417 words) - 20:53, 22 July 2024
theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq...
25 KB (2,550 words) - 02:00, 22 August 2024
selection of commonly used programming languages. See the individual languages' articles for further information. Most programming languages will print...
70 KB (1,469 words) - 03:20, 31 July 2024
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...
57 KB (7,256 words) - 20:43, 11 July 2024
is a statically typed, compiled programming language created by Alexander Medvednikov in early 2019. It was inspired by the language Go, and other influences...
15 KB (1,253 words) - 08:21, 7 July 2024
In computer programming, an enumerated type (also called enumeration, enum, or factor in the R programming language, and a categorical variable in statistics)...
34 KB (4,403 words) - 02:44, 28 May 2024
(Meta Language) is a general-purpose, high-level, functional programming language. It is known for its use of the polymorphic Hindley–Milner type system...
13 KB (1,461 words) - 10:36, 14 May 2024
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...
100 KB (11,066 words) - 21:52, 16 August 2024
statically typed high-level general-purpose programming language that supports both object-oriented programming and functional programming. Designed to...
109 KB (10,219 words) - 12:08, 23 August 2024
logic programming languages List of constructed languages Fifth-generation programming language Wodecki, Ben (May 5, 2023). "7 AI Programming Languages You...
11 KB (1,150 words) - 09:35, 3 August 2024
Lisp (historically LISP, an abbreviation of "list processing") is a family of programming languages with a long history and a distinctive, fully parenthesized...
84 KB (9,700 words) - 20:47, 30 July 2024
Go is a statically typed, compiled high-level programming language designed at Google by Robert Griesemer, Rob Pike, and Ken Thompson. It is syntactically...
76 KB (7,802 words) - 19:44, 23 August 2024
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...
29 KB (3,298 words) - 03:06, 21 August 2024
expressions in that language. This applies both to programming languages, where the document represents source code, and to markup languages, where the document...
19 KB (2,419 words) - 08:54, 27 July 2024
of programming languages spans from documentation of early mechanical computers to modern tools for software development. Early programming languages...
37 KB (3,583 words) - 06:44, 11 August 2024
a comparison of the features of the type systems and type checking of multiple programming languages. Brief definitions A nominal type system means that...
17 KB (363 words) - 22:03, 22 July 2024
A programming language is a system of notation for writing computer programs. Programming languages are described in terms of their syntax (form) and...
71 KB (8,045 words) - 09:12, 5 August 2024
This list of JVM Languages comprises notable computer programming languages that are used to produce computer software that runs on the Java virtual machine...
18 KB (1,362 words) - 23:36, 20 August 2024
high-level, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most...
52 KB (4,030 words) - 11:18, 19 July 2024
statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support...
51 KB (5,541 words) - 18:16, 20 August 2024
proof of concept, as software art, as a hacking interface to another language (particularly functional programming or procedural programming languages), or...
24 KB (2,681 words) - 02:59, 11 August 2024
Comparison of programming languages History of programming languages List of programming languages List of programming languages by type Including build...
96 KB (9,391 words) - 13:51, 25 August 2024
functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...
86 KB (8,564 words) - 18:54, 17 August 2024
Hence machine types are mainly used in systems programming or low-level programming languages. In higher-level languages most data types are abstracted...
27 KB (3,424 words) - 14:58, 13 August 2024
The C-family programming languages share significant features of the C programming language. Many were developmentally influenced by C due to its success...
21 KB (490 words) - 23:11, 1 July 2024
instances of subclasses of a generic "list" class, and traversed via separate iterators. Many programming languages provide support for list data types, and...
10 KB (1,409 words) - 12:35, 3 August 2024
List of user interface markup languages List of vector graphics markup languages HTML - Hyper Text Markup Language List of programming languages by type...
3 KB (222 words) - 20:09, 12 May 2024