Binding value namesTutorial (draft)ExpressionsDocumentation and user's manualTable of contentsOCaml programs

Expressions

   
  In Objective Caml

a program is an expression.

Even functions and loops are expressions.

   
  There exist
  • Expressions that contain illegal characters.
  • Expressions without illegal characters that are not syntactically correct.
  • Syntactically correct expressions that contain values names that are not bound to values.
  • Syntactically correct expressions without unbound value names that are not well-typed.

   
  If an expression is well-typed then it contains no illegal character, is syntactically correct and contains no unbound value name.

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

Binding value namesTutorial (draft)ExpressionsDocumentation and user's manualTable of contentsOCaml programs