Esoteric programming language and Lambda calculus

Shortcuts: Differences, Similarities, Jaccard Similarity Coefficient, References.

Difference between Esoteric programming language and Lambda calculus

Esoteric programming language vs. Lambda calculus

An esoteric programming language (sometimes shortened to esolang) is a programming language designed to test the boundaries of computer programming language design, as a proof of concept, as software art, as a hacking interface to another language (particularly functional programming or procedural programming languages), or as a joke. Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

Binary combinatory logic

Binary combinatory logic (BCL) is a formulation of combinatory logic using only the symbols 0 and 1.

Binary combinatory logic and Esoteric programming language · Binary combinatory logic and Lambda calculus · 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.

Esoteric programming language and Functional programming · Functional programming and Lambda calculus · See more »

Hacker culture

The hacker culture is a subculture of individuals who enjoy the intellectual challenge of creatively overcoming limitations of software systems to achieve novel and clever outcomes.

Esoteric programming language and Hacker culture · Hacker culture and Lambda calculus · See more »

Lambda calculus

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

Esoteric programming language and Lambda calculus · Lambda calculus and Lambda calculus · See more »

Procedural programming

Procedural programming is a programming paradigm, derived from structured programming, based upon the concept of the procedure call.

Esoteric programming language and Procedural programming · Lambda calculus and Procedural programming · 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.

Esoteric programming language and Programming language · Lambda calculus and Programming language · See more »

SECD machine

The SECD machine is a highly influential (See: #Landin's contribution) virtual machine and abstract machine intended as a target for functional programming language compilers.

Esoteric programming language and SECD machine · Lambda calculus and SECD machine · See more »

Turing completeness

In computability theory, a system of data-manipulation rules (such as a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing complete or computationally universal if it can be used to simulate any Turing machine.

Esoteric programming language and Turing completeness · Lambda calculus and Turing completeness · See more »

Turing machine

A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules.

Esoteric programming language and Turing machine · Lambda calculus and Turing machine · See more »

Unlambda

Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore.

Esoteric programming language and Unlambda · Lambda calculus and Unlambda · See more »