| | | Programming paradigms | Documentation and user's manual | Table of contents | OCaml programs |
| Programming paradigms: imperative, functional, logic, object-oriented, and so on. |
| A programming language can support multiple paradigms. |
| The Objective Caml language supports several paradigms. |
| Here pure functional programming (no side-effects) is only considered. Pure functional programming enforces referential transparency, which is the notion that equals can be substituted for equals. |
| | | Programming paradigms | Documentation and user's manual | Table of contents | OCaml programs |