Automatic type inference

Documentation and user's manual

Table of contents

OCaml programs

Automatic type inference

Given an expression the compiler checks its syntax and whether all value names it contains are bound. Of course!

Moreover, if the expression is not well-typed Then the compiler rejects it. Else the compiler computes the type of the expression (along with its value).

Thus in Objective Caml there is no need for type declaration! Yet it is a strictly-typed language. That is, implicit conversions are forbidden.

Automatic type inference

Documentation and user's manual

Table of contents

OCaml programs