purely functional programming usually designates a programming paradigm—a style of building the structure and elements of computer programs—that treats all...

rewrite systems can be viewed as computer programs, and several theorem provers and declarative programming languages are based on term rewriting. In logic...

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

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

Pure Data (Pd) is a visual programming language developed by Miller Puckette in the 1990s for creating interactive computer music and multimedia works...

In computer programming, a pure function is a function that has the following properties: the function return values are identical for identical arguments...

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

Prototype-based programming is a style of object-oriented programming in which behavior reuse (known as inheritance) is performed via a process of reusing...

science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic...

and 360 Nyquist OpenMusic Orca (music programming language) Pure Data, a modular visual programming language for signal processing aimed at music creation...

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

C (pronounced /ˈsiː/ – like the letter c) is a general-purpose programming language. It was created in the 1970s by Dennis Ritchie and remains very widely...

the Purify tool Pure-FTPd, FTP server software Pure (programming language), functional programming language based on term rewriting Pure Storage, a company...

programming easier than insecure. One of the early available features that make Wyvern special is a way to safely use multiple programming languages within...

consensus. › D, also known as dlang, is a multi-paradigm system programming language created by Walter Bright at Digital Mars and released in 2001. Andrei...

and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and rules...

jq is a very high-level lexically scoped functional programming language in which every JSON value is a constant. jq supports backtracking and managing...

The Actor programming language was invented by Charles Duff of The Whitewater Group in 1988. It was an offshoot of some object-oriented extensions to the...

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

In computer programming, assembly language (alternatively assembler language or symbolic machine code), often referred to simply as assembly and commonly...

Flix is a functional, imperative, and logic programming language developed at Aarhus University, with funding from the Independent Research Fund Denmark...

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

Procedural programming is a programming paradigm, classified as imperative programming, that involves implementing the behavior of a computer program as procedures...

PureScript is a strongly-typed, purely-functional programming language that transpiles to JavaScript, C++11, Erlang, and Go. It can be used to develop...

is a pure object-oriented language originating within the "Scandinavian School" in object-orientation where the first object-oriented language Simula...

Object-oriented programming (OOP) is a programming paradigm based on the concept of objects, which can contain data and code: data in the form of fields...

Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation...

combines constraint programming, a limited number of features inspired by logic programming and supports imperative paradigms. The language advocates declarative...

record of notable programming languages, by decade. History of computing hardware History of programming languages Programming language Timeline of computing...

general-purpose programming language created by Danish computer scientist Bjarne Stroustrup. First released in 1985 as an extension of the C programming language, it...