Well-typed expressions and computations - Values and types

Documentation and user's manual

Table of contents

OCaml programs

Well-typed expressions and computations - Values and types

In Objective Caml an expression is well-typed if and only it describes a computation.

Evaluation of a well-typed expression returns a value at the end of the computation.

Each value has a type.

Each well-typed expression has a type: the type of the value returned by its evaluation.

Well-typed expressions and computations - Values and types

Documentation and user's manual

Table of contents

OCaml programs