A strongly-typed language; In Caml, types are managed by the computer.
Used in the fabrication of printed circuit boards on Colinbus milling machines.
Most popular variant of the Caml language.
