Polymorphism

Documentation and user's manual

Table of contents

OCaml programs

Polymorphism

In Objective Caml a type or a function can be written generically so that it can deal equally well with any values without depending on their type. For instance: Lists, pairs and binary trees can be written generically. List reversal, computing the first component of a pair or the number of nodes of a binary tree can be written generically.

Polymorphism

Documentation and user's manual

Table of contents

OCaml programs