Function composition (computer science)


In computer science, function composition is an act or mechanism to combine simple functions to build more complicated ones. Like the usual composition of functions in mathematics, the result of each function is passed as the argument of the next, and the result of the last one is the result of the whole.
Programmers frequently apply functions to results of other functions, and almost all programming languages allow it. In some cases, the composition of functions is interesting as a function in its own right, to be used later. Such a function can always be defined but languages with first-class functions make it easier.
The ability to easily compose functions encourages factoring functions for maintainability and code reuse. More generally, big systems might be built by composing whole programs.
Narrowly speaking, function composition applies to functions that operate on a finite amount of data, each step sequentially processing it before handing it to the next. Functions that operate on potentially infinite data are known as filters, and are instead connected in a pipeline, which is analogous to function composition and can execute concurrently.

Composing function calls

For example, suppose we have two functions and, as in and. Composing them means we first compute, and then use to compute. Here is the example in the C language:

float x, y, z;
//...
y = g;
z = f;

The steps can be combined if we don't give a name to the intermediate result:

z = f;

Despite differences in length, these two implementations compute the same result. The second implementation requires only one line of code and is colloquially referred to as a "highly composed" form. Readability and hence maintainability is one advantage of highly composed forms, since they require fewer lines of code, minimizing a program's "surface area". DeMarco and Lister empirically verify an inverse relationship between surface area and maintainability. On the other hand, it may be possible to overuse highly composed forms. A nesting of too many functions may have the opposite effect, making the code less maintainable.
In a stack-based language, functional composition is even more natural: it is performed by concatenation, and is usually the primary method of program design. The above example in Forth:
g f
Which will take whatever was on the stack before, apply g, then f, and leave the result on the stack. See postfix composition notation for the corresponding mathematical notation.

Naming the composition of functions

Now suppose that the combination of calling f on the result of g is frequently useful, and which we want to name foo to be used as a function in its own right.
In most languages, we can define a new function implemented by composition. Example in C:

float foo

Example in Forth:
: foo g f ;
In languages such as C, the only way to create a new function is to define it in the program source, which means that functions can't be composed at run time. An evaluation of an arbitrary composition of predefined functions, however, is possible:

  1. include
typedef int FXN;
int f
int g
int h
int eval
int main

First-class composition

In functional programming languages, function composition can be naturally expressed as a higher-order function or operator. In other programming languages you can write your own mechanisms to perform function composition.

Haskell

In Haskell, the example given above becomes:
foo = f. g
using the built-in composition operator, which can be read as f after g or g composed with f.
The composition operator itself can be defined in Haskell using a lambda expression:

:: -> -> a -> c
f. g = \x -> f

The first lines describes the type of - it takes a pair of functions and returns a function.
Note that Haskell doesn't require specification of the exact input and output types of f and g,
only the relations between them. This makes a polymorphic operator.

Lisp

Variants of Lisp, especially Scheme, the interchangeability of code and data together with the treatment of functions lend themselves extremely well for a recursive definition of a variadic compositional operator.

; if no argument is given, evaluates to the identity function
))))
; examples
)
; > set!
; anonymous composition
; > 0+5i

APL

Many dialects of APL feature built in function composition using the symbol ∘.
This higher-order function extends function composition to dyadic application of the left side function such that A f∘g B is A f g B.

foo←f∘g

Additionally, you can define function composition:

o←

In dialect that does not support inline definition using braces, the traditional definition is available:

∇ r←x
r←f g x

Raku

like Haskell has a built in function composition operator, the main difference is it is spelled as ∘ or o.

my &foo = &f ∘ &g;

Also like Haskell you could define the operator yourself. In fact the following is the Raku code used to define it in the Rakudo implementation.

  1. the implementation has a slightly different line here because it cheats
proto sub infix:<∘> is equiv is assoc
multi sub infix:<∘> # allows ` @array` to work when `@array` is empty
multi sub infix:<∘> # allows ` @array` to work when `@array` has one element
multi sub infix:<∘>
  1. alias it to the "Texas" spelling
my &infix: := &infix:<∘>;

Python

In Python, a way to define the composition for any group of functions, is using reduce function :

  1. Available since Python v2.6
from functools import reduce
def compose -> int:
"""Compose a group of functions ) into a single composite func."""
return reduce
  1. Example
f = lambda x: x + 1
g = lambda x: x * 2
h = lambda x: x - 3
  1. Call the function x=10 : +1 = 15
print)

JavaScript

In JavaScript we can define it as a function which takes two functions f and g, and produces a function:

function o
// Alternatively, using the rest operator and lambda expressions in ES2015
const compose = => => fs.reduceRight => f

C#

In C# we can define it as a Func which takes two Funcs f and g, and produces a Func:

// Call example:
// var c = Compose;
//
// Func g = _ => ...
// Func f = _ =>...
Func Compose => _ => f;

Ruby

Languages like Ruby let you construct a binary operator yourself:

class Proc
def compose
->
end
alias_method :+, :compose
end
f = ->
g = ->
.call # => 13824
However, a native function composition operator was introduced in Ruby 2.6:

f = proc
g = proc
.call # -> 11; identical to f
.call # -> 15; identical to g

Research survey

Notions of composition, including the principle of compositionality and composability, are so ubiquitous that numerous strands of research have separately evolved. The following is a sampling of the kind of research in which the notion of composition is central.
Whole programs or systems can be treated as functions, which can be readily composed if their inputs and outputs are well-defined pipelines allowing easy composition of filters were so successful that it became a design pattern of operating systems.
Imperative procedures with side effects violate referential transparency and therefore are not cleanly composable. However if you consider the "state of the world" before and after running the code as its input and output, you get a clean function. Composition of such functions corresponds to running the procedures one after the other. The monads formalism uses this idea to incorporate side effects and I/O into functional languages.