A strongly-typed language; In Caml, types are managed by the computer.
FlexCell is a flexible and easy to use grid control.
It is a framework designed for building dependency injection systems.