PolymorphismTutorial (draft)Well-typed expressions and computations - Values and typesFunctional valuesDocumentation and user's manualTable of contentsOCaml programs

Functional values

   
  In Objective Caml

functional values are so-called first-class citizens.

That is, they are considered as any other values, except for equality test ... and except the fact that they can be applied to other values!

For instance  exp  is a (functional) value.

   
  Therefore
  • A functional value can be an argument of a function.
  • A functional value can be the result of applying a function.

   
  Thus

higher-order functional values can be written.

That is, functions taking functions as arguments and functions whose application return functions.


Latest update : October 5, 2006
This document was translated from LaTeX by Hyperlatex 2.5, which is not the latest version of Hyperlatex.

PolymorphismTutorial (draft)Well-typed expressions and computations - Values and typesFunctional valuesDocumentation and user's manualTable of contentsOCaml programs