Pure, successor to the equational language Q, is a dynamically typed, functional programming language based on term rewriting. It has facilities for user-defined...

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

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

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

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

for: Pure (programming language) Language purism Adamic language This disambiguation page lists language articles associated with the title Pure. If an...

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

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

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

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

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

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

Rust is a general-purpose programming language emphasizing performance, type safety, and concurrency. It enforces memory safety, meaning that all references...

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

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

most general-purpose programming languages, this program is used to illustrate a language's basic syntax. A "Hello, World!" program is often the first written...

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

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

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

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

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

Io is a pure object-oriented programming language inspired by Smalltalk, Self, Lua, Lisp, Act1, and NewtonScript. Io has a prototype-based object model...

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

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

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

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

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