ISWIM and List of functional programming topics

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

Difference between ISWIM and List of functional programming topics

ISWIM vs. List of functional programming topics

ISWIM is an abstract computer programming language (or a family of programming languages) devised by Peter J. Landin and first described in his article The Next 700 Programming Languages, published in the Communications of the ACM in 1966. This is a list of functional programming topics.

Algebraic data type

In computer programming, especially functional programming and type theory, an algebraic data type is a kind of composite type, i.e., a type formed by combining other types.

Algebraic data type and ISWIM · Algebraic data type and List of functional programming topics · See more »

Clean (programming language)

Clean is a general-purpose purely functional computer programming language.

Clean (programming language) and ISWIM · Clean (programming language) and List of functional programming topics · 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.

Eager evaluation and ISWIM · Eager evaluation and List of functional programming topics · 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.

Functional programming and ISWIM · Functional programming and List of functional programming topics · See more »

Haskell (programming language)

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

Haskell (programming language) and ISWIM · Haskell (programming language) and List of functional programming topics · See more »

Higher-order function

In mathematics and computer science, a higher-order function (also functional, functional form or functor) is a function that does at least one of the following.

Higher-order function and ISWIM · Higher-order function and List of functional programming topics · See more »

Kent Recursive Calculator

KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).

ISWIM and Kent Recursive Calculator · Kent Recursive Calculator and List of functional programming topics · 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.

ISWIM and Lambda calculus · Lambda calculus and List of functional programming topics · 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).

ISWIM and Lazy evaluation · Lazy evaluation and List of functional programming topics · 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.

ISWIM and Lisp (programming language) · Lisp (programming language) and List of functional programming topics · 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.

ISWIM and Miranda (programming language) · List of functional programming topics and Miranda (programming language) · See more »

ML (programming language)

ML (Meta Language) is a general-purpose functional programming language.

ISWIM and ML (programming language) · List of functional programming topics and ML (programming language) · 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.

ISWIM and Programming language · List of functional programming topics and Programming language · 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.

ISWIM and Scope (computer science) · List of functional programming topics and Scope (computer science) · 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.

ISWIM and SECD machine · List of functional programming topics and SECD machine · See more »

Type inference

Type inference refers to the automatic detection of the data type of an expression in a programming language.

ISWIM and Type inference · List of functional programming topics and Type inference · See more »