Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Pure (programming language)

Index Pure (programming language)

Pure, successor to the equational language Q, is a dynamically typed, functional programming language based on term rewriting. [1]

60 relations: Algorithm, Alice (programming language), Arbitrary-precision arithmetic, Artificial intelligence, C (programming language), C standard library, Computational science, Computer algebra, Cross-platform, David Turner (computer scientist), Declarative programming, Eager evaluation, Eight queens puzzle, Factorization, FAUST (programming language), Fibonacci number, Free and open-source software, Free-form language, FreeBSD, Functional programming, Gaussian elimination, GNU Lesser General Public License, GNU Octave, GNU Scientific Library, Gnumeric, Haskell (programming language), Johannes Gutenberg University Mainz, Just-in-time compilation, Lazy evaluation, Library (computing), Linux, Lisp (programming language), List (abstract data type), List comprehension, LLVM, MacOS, Macro (computer science), MATLAB, Memoization, Microsoft Windows, Miranda (programming language), Off-side rule, Open Sound Control, OpenCV, OpenGL, Operator (computer programming), Pivot element, Plug-in (computing), Polynomial expansion, Prime number, ..., Programming language, Pure Data, Rewriting, Scope (computer science), Strong and weak typing, SuperCollider, Tail call, Thunk, Time complexity, Trial division. Expand index (10 more) »


In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.

New!!: Pure (programming language) and Algorithm · See more »

Alice (programming language)

Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany.

New!!: Pure (programming language) and Alice (programming language) · See more »

Arbitrary-precision arithmetic

In computer science, arbitrary-precision arithmetic, also called bignum arithmetic, multiple-precision arithmetic, or sometimes infinite-precision arithmetic, indicates that calculations are performed on numbers whose digits of precision are limited only by the available memory of the host system.

New!!: Pure (programming language) and Arbitrary-precision arithmetic · See more »

Artificial intelligence

Artificial intelligence (AI, also machine intelligence, MI) is intelligence demonstrated by machines, in contrast to the natural intelligence (NI) displayed by humans and other animals.

New!!: Pure (programming language) and Artificial intelligence · See more »

C (programming language)

C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.

New!!: Pure (programming language) and C (programming language) · See more »

C standard library

The C standard library or libc is the standard library for the C programming language, as specified in the ANSI C standard.

New!!: Pure (programming language) and C standard library · See more »

Computational science

Computational science (also scientific computing or scientific computation (SC)) is a rapidly growing multidisciplinary field that uses advanced computing capabilities to understand and solve complex problems.

New!!: Pure (programming language) and Computational science · See more »

Computer algebra

In computational mathematics, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects.

New!!: Pure (programming language) and Computer algebra · See more »


In computing, cross-platform software (also multi-platform software or platform-independent software) is computer software that is implemented on multiple computing platforms.

New!!: Pure (programming language) and Cross-platform · See more »

David Turner (computer scientist)

David A. Turner (born 1946) is a British computer scientist.

New!!: Pure (programming language) and David Turner (computer scientist) · See more »

Declarative programming

In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that expresses the logic of a computation without describing its control flow.

New!!: Pure (programming language) and Declarative programming · See more »

Eager evaluation

In computer programming, eager evaluation, also known as strict evaluation or greedy evaluation, is the evaluation strategy used by most traditional programming languages.

New!!: Pure (programming language) and Eager evaluation · See more »

Eight queens puzzle

The eight queens puzzle is the problem of placing eight chess queens on an 8×8 chessboard so that no two queens threaten each other.

New!!: Pure (programming language) and Eight queens puzzle · See more »


In mathematics, factorization (also factorisation in some forms of British English) or factoring consists of writing a number or another mathematical object as a product of several factors, usually smaller or simpler objects of the same kind.

New!!: Pure (programming language) and Factorization · See more »

FAUST (programming language)

FAUST (Functional AUdio STream) is a domain-specific purely functional programming language for implementing signal processing algorithms in the form of libraries, audio plug-ins, or standalone applications.

New!!: Pure (programming language) and FAUST (programming language) · See more »

Fibonacci number

In mathematics, the Fibonacci numbers are the numbers in the following integer sequence, called the Fibonacci sequence, and characterized by the fact that every number after the first two is the sum of the two preceding ones: Often, especially in modern usage, the sequence is extended by one more initial term: By definition, the first two numbers in the Fibonacci sequence are either 1 and 1, or 0 and 1, depending on the chosen starting point of the sequence, and each subsequent number is the sum of the previous two.

New!!: Pure (programming language) and Fibonacci number · See more »

Free and open-source software

Free and open-source software (FOSS) is software that can be classified as both free software and open-source software.

New!!: Pure (programming language) and Free and open-source software · See more »

Free-form language

In computer programming, a free-form language is a programming language in which the positioning of characters on the page in program text is insignificant.

New!!: Pure (programming language) and Free-form language · See more »


FreeBSD is a free and open-source Unix-like operating system descended from Research Unix via the Berkeley Software Distribution (BSD).

New!!: Pure (programming language) and FreeBSD · See more »

Functional programming

In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.

New!!: Pure (programming language) and Functional programming · See more »

Gaussian elimination

In linear algebra, Gaussian elimination (also known as row reduction) is an algorithm for solving systems of linear equations.

New!!: Pure (programming language) and Gaussian elimination · See more »

GNU Lesser General Public License

The GNU Lesser General Public License (LGPL) is a free software license published by the Free Software Foundation (FSF).

New!!: Pure (programming language) and GNU Lesser General Public License · See more »

GNU Octave

GNU Octave is software featuring a high-level programming language, primarily intended for numerical computations.

New!!: Pure (programming language) and GNU Octave · See more »

GNU Scientific Library

The GNU Scientific Library (or GSL) is a software library for numerical computations in applied mathematics and science.

New!!: Pure (programming language) and GNU Scientific Library · See more »


Gnumeric is a spreadsheet program that is part of the GNOME Free Software Desktop Project.

New!!: Pure (programming language) and Gnumeric · See more »

Haskell (programming language)

Haskell is a standardized, general-purpose compiled purely functional programming language, with non-strict semantics and strong static typing.

New!!: Pure (programming language) and Haskell (programming language) · See more »

Johannes Gutenberg University Mainz

The Johannes Gutenberg University Mainz (Johannes Gutenberg-Universität Mainz) is a public research university in Mainz, Rhineland Palatinate, Germany, named after the printer Johannes Gutenberg.

New!!: Pure (programming language) and Johannes Gutenberg University Mainz · See more »

Just-in-time compilation

In computing, just-in-time (JIT) compilation, (also dynamic translation or run-time compilation), is a way of executing computer code that involves compilation during execution of a program – at run time – rather than prior to execution.

New!!: Pure (programming language) and Just-in-time compilation · See more »

Lazy evaluation

In programming language theory, lazy evaluation, or call-by-need is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation) and which also avoids repeated evaluations (sharing).

New!!: Pure (programming language) and Lazy evaluation · See more »

Library (computing)

In computer science, a library is a collection of non-volatile resources used by computer programs, often for software development.

New!!: Pure (programming language) and Library (computing) · See more »


Linux is a family of free and open-source software operating systems built around the Linux kernel.

New!!: Pure (programming language) and Linux · See more »

Lisp (programming language)

Lisp (historically, LISP) is a family of computer programming languages with a long history and a distinctive, fully parenthesized prefix notation.

New!!: Pure (programming language) and Lisp (programming language) · See more »

List (abstract data type)

In computer science, a list or sequence is an abstract data type that represents a countable number of ordered values, where the same value may occur more than once.

New!!: Pure (programming language) and List (abstract data type) · See more »

List comprehension

A list comprehension is a syntactic construct available in some programming languages for creating a list based on existing lists.

New!!: Pure (programming language) and List comprehension · See more »


The LLVM compiler infrastructure project is a "collection of modular and reusable compiler and toolchain technologies" used to develop compiler front ends and back ends.

New!!: Pure (programming language) and LLVM · See more »


macOS (previously and later) is a series of graphical operating systems developed and marketed by Apple Inc. since 2001.

New!!: Pure (programming language) and MacOS · See more »

Macro (computer science)

A macro (short for "macroinstruction", from Greek μακρός 'long') in computer science is a rule or pattern that specifies how a certain input sequence (often a sequence of characters) should be mapped to a replacement output sequence (also often a sequence of characters) according to a defined procedure.

New!!: Pure (programming language) and Macro (computer science) · See more »


MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment and proprietary programming language developed by MathWorks.

New!!: Pure (programming language) and MATLAB · See more »


In computing, memoization or memoisation is an optimization technique used primarily to speed up computer programs by storing the results of expensive function calls and returning the cached result when the same inputs occur again.

New!!: Pure (programming language) and Memoization · See more »

Microsoft Windows

Microsoft Windows is a group of several graphical operating system families, all of which are developed, marketed, and sold by Microsoft.

New!!: Pure (programming language) and Microsoft Windows · See more »

Miranda (programming language)

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

New!!: Pure (programming language) and Miranda (programming language) · See more »

Off-side rule

A computer programming language is said to adhere to the off-side rule if blocks in that language are expressed by their indentation.

New!!: Pure (programming language) and Off-side rule · See more »

Open Sound Control

Open Sound Control (OSC) is a protocol for networking sound synthesizers, computers, and other multimedia devices for purposes such as musical performance or show control.

New!!: Pure (programming language) and Open Sound Control · See more »


OpenCV (Open Source Computer Vision) is a library of programming functions mainly aimed at real-time computer vision.

New!!: Pure (programming language) and OpenCV · See more »


Open Graphics Library (OpenGL) is a cross-language, cross-platform application programming interface (API) for rendering 2D and 3D vector graphics.

New!!: Pure (programming language) and OpenGL · See more »

Operator (computer programming)

Programming languages typically support a set of operators: constructs which behave generally like functions, but which differ syntactically or semantically from usual functions.

New!!: Pure (programming language) and Operator (computer programming) · See more »

Pivot element

The pivot or pivot element is the element of a matrix, or an array, which is selected first by an algorithm (e.g. Gaussian elimination, simplex algorithm, etc.), to do certain calculations.

New!!: Pure (programming language) and Pivot element · See more »

Plug-in (computing)

In computing, a plug-in (or plugin, add-in, addin, add-on, addon, or extension) is a software component that adds a specific feature to an existing computer program.

New!!: Pure (programming language) and Plug-in (computing) · See more »

Polynomial expansion

In mathematics, an expansion of a product of sums expresses it as a sum of products by using the fact that multiplication distributes over addition.

New!!: Pure (programming language) and Polynomial expansion · See more »

Prime number

A prime number (or a prime) is a natural number greater than 1 that cannot be formed by multiplying two smaller natural numbers.

New!!: Pure (programming language) and Prime number · See more »

Programming language

A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.

New!!: Pure (programming language) and Programming language · See more »

Pure Data

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

New!!: Pure (programming language) and Pure Data · See more »


In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms.

New!!: Pure (programming language) and Rewriting · See more »

Scope (computer science)

In computer programming, the scope of a name binding – an association of a name to an entity, such as a variable – is the region of a computer program where the binding is valid: where the name can be used to refer to the entity.

New!!: Pure (programming language) and Scope (computer science) · See more »

Strong and weak typing

In computer programming, programming languages are often colloquially classified as to whether the language's type system makes it strongly typed or weakly typed (loosely typed).

New!!: Pure (programming language) and Strong and weak typing · See more »


SuperCollider is an environment and programming language originally released in 1996 by James McCartney for real-time audio synthesis and algorithmic composition.

New!!: Pure (programming language) and SuperCollider · See more »

Tail call

In computer science, a tail call is a subroutine call performed as the final action of a procedure.

New!!: Pure (programming language) and Tail call · See more »


In computer programming, a thunk is a subroutine used to inject an additional calculation into another subroutine.

New!!: Pure (programming language) and Thunk · See more »

Time complexity

In computer science, the time complexity is the computational complexity that describes the amount of time it takes to run an algorithm.

New!!: Pure (programming language) and Time complexity · See more »

Trial division

Trial division is the most laborious but easiest to understand of the integer factorization algorithms.

New!!: Pure (programming language) and Trial division · See more »

Redirects here:

Pure (language), Q (equational programming language).


[1] https://en.wikipedia.org/wiki/Pure_(programming_language)

Hey! We are on Facebook now! »