List of functional programming topics and ML (programming language)

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

Difference between List of functional programming topics and ML (programming language)

List of functional programming topics vs. ML (programming language)

This is a list of functional programming topics. ML (Meta Language) is a general-purpose functional programming language.

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 List of functional programming topics · Algebraic data type and ML (programming language) · See more »

Clojure

Clojure (like "closure") is a dialect of the Lisp programming language.

Clojure and List of functional programming topics · Clojure and ML (programming language) · See more »

Closure (computer programming)

In programming languages, a closure (also lexical closure or function closure) is a technique for implementing lexically scoped name binding in a language with first-class functions.

Closure (computer programming) and List of functional programming topics · Closure (computer programming) and ML (programming language) · See more »

Currying

In mathematics and computer science, currying is the technique of translating the evaluation of a function that takes multiple arguments (or a tuple of arguments) into evaluating a sequence of functions, each with a single argument.

Currying and List of functional programming topics · Currying and ML (programming language) · See more »

Data type

In computer science and computer programming, a data type or simply type is a classification of data which tells the compiler or interpreter how the programmer intends to use the data.

Data type and List of functional programming topics · Data type and ML (programming language) · 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 List of functional programming topics · Eager evaluation and ML (programming language) · See more »

Erlang (programming language)

Erlang is a general-purpose, concurrent, functional programming language, as well as a garbage-collected runtime system.

Erlang (programming language) and List of functional programming topics · Erlang (programming language) and ML (programming language) · See more »

Exception handling

Exception handling is the process of responding to the occurrence, during computation, of exceptions – anomalous or exceptional conditions requiring special processing – often changing the normal flow of program execution.

Exception handling and List of functional programming topics · Exception handling and ML (programming language) · See more »

F Sharp (programming language)

F# (pronounced F sharp) is a strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods.

F Sharp (programming language) and List of functional programming topics · F Sharp (programming language) and ML (programming language) · 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 List of functional programming topics · Functional programming and ML (programming language) · See more »

Garbage collection (computer science)

In computer science, garbage collection (GC) is a form of automatic memory management.

Garbage collection (computer science) and List of functional programming topics · Garbage collection (computer science) and ML (programming language) · 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 List of functional programming topics · Haskell (programming language) and ML (programming language) · See more »

ISWIM

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.

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

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

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

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

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

OCaml

OCaml, originally named Objective Caml, is the main implementation of the programming language Caml, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996.

List of functional programming topics and OCaml · ML (programming language) and OCaml · See more »

Polymorphism (computer science)

In programming languages and type theory, polymorphism (from Greek πολύς, polys, "many, much" and μορφή, morphē, "form, shape") is the provision of a single interface to entities of different types.

List of functional programming topics and Polymorphism (computer science) · ML (programming language) and Polymorphism (computer science) · See more »

Programming paradigm

Programming paradigms are a way to classify programming languages based on their features.

List of functional programming topics and Programming paradigm · ML (programming language) and Programming paradigm · See more »

Purely functional programming

In computer science, purely functional programming usually designates a programming paradigm—a style of building the structure and elements of computer programs—that treats all computation as the evaluation of mathematical functions.

List of functional programming topics and Purely functional programming · ML (programming language) and Purely functional programming · See more »

Scala (programming language)

Scala is a general-purpose programming language providing support for functional programming and a strong static type system.

List of functional programming topics and Scala (programming language) · ML (programming language) and Scala (programming language) · See more »

Side effect (computer science)

In computer science, a function or expression is said to have a side effect if it modifies some state outside its scope or has an observable interaction with its calling functions or the outside world besides returning a value.

List of functional programming topics and Side effect (computer science) · ML (programming language) and Side effect (computer science) · See more »

Standard ML

Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference.

List of functional programming topics and Standard ML · ML (programming language) and Standard ML · See more »

Type inference

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

List of functional programming topics and Type inference · ML (programming language) and Type inference · See more »