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.