functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm...

functional programming (also known as strong functional programming, to be contrasted with ordinary, or weak functional programming) is a programming...

Functional reactive programming (FRP) is a programming paradigm for reactive programming (asynchronous dataflow programming) using the building blocks...

Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming and logic programming. This...

In functional programming, a monad is a structure that combines program fragments (functions) and wraps their return values in a type with additional computation...

shows a comparison of functional programming languages which compares various features and designs of different functional programming languages. "LISP Introduction"...

IFIP Working Group 2.8 (Functional Programming). The conference focuses on functional programming and related areas of programming languages, logic, compilers...

system) Visual Basic (CIL JIT runtime) Visual FoxPro Visual Prolog Xojo Zig A concatenative programming language is a point-free computer programming...

for logic programming, and functions and equations for functional programming. ALF was designed to be genuine integration of both programming paradigms...

list of functional programming topics. Programming paradigm Declarative programming Programs as mathematical objects Function-level programming Purely...

logic programming (e.g. Prolog, Datalog, answer set programming), functional programming, configuration management, and algebraic modeling systems. Declarative...

multi-paradigm programming language. The Racket language is a modern dialect of Lisp and a descendant of Scheme. It is designed as a platform for programming language...

is a general-purpose, concurrent, functional high-level programming language, and a garbage-collected runtime system. The term Erlang is used interchangeably...

strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most often used...

tactics language, and proofs are written in a functional programming style. The language has ordinary programming constructs such as data types, pattern matching...

FP (short for functional programming) is a programming language created by John Backus to support the function-level programming paradigm. It allows building...

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

general-purpose, high-level, functional programming language. It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns...

c.f. imperative programming (functional and logic programming are major subgroups of declarative programming) Distributed programming – have support for...

entities, as can functions, allowing for the use of functional programming methods. Object-oriented programming is supported by inheritance and multiple dispatch...

Haskell (/ˈhæskəl/) is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching...

(Applied Type System) is a multi-paradigm, general-purpose, high-level, functional programming language. It is a dialect of the programming language ML...

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

large-scale scientific data analysis. It is a statically typed functional programming language promoting parallel computing. It features a versatile foreign...

multi-paradigm, functional and object-oriented programming language inspired by the languages ML, Caml, and OCaml, and intended for program verification...

languages. In object-oriented programming, programs are treated as a set of interacting objects. In functional programming, programs are treated as a sequence...

In computing, reactive programming is a declarative programming paradigm concerned with data streams and the propagation of change. With this paradigm...

Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be...

Ciao provides a full Prolog system (supporting ISO-Prolog), declarative subsets and extensions of Prolog, functional programming (including lazy evaluation)...

Mercury is a functional logic programming language made for real-world uses. The first version was developed at the University of Melbourne, Computer Science...