A strongly-typed language; In Caml, types are managed by the computer.
It can be classified as a procedure-oriented language.
Three-dimensional water modelling system.
