And functional programming is just not used much in practice.

Hope is an important language in the development of functional programming.

In most respects, it is a case of pure functional programming.

Another example is that of currying, used in functional programming.

The concept has been applied to functional programming as folds.

Scheme is often used as a teaching tool; to teach computer science students functional programming.

In purely functional programming, there are no statements; everything is an expression.

These restrictions mean that total functional programming is not Turing-complete.

Unique types can also be used to integrate functional and imperative programming.

In the context of functional programming, the term "speculative evaluation" is used instead.