ocaml -- The Objective Caml compiler and programming environment<hr>
<a href="http://www.ocaml.org/">http://www.ocaml.org/</a><hr>
Objective Caml is a high-level, strongly-typed, functional and
object-oriented programming language from the ML family of languages.

This package comprises two batch compilers (a fast bytecode compiler
and an optimizing native-code compiler), an interactive toplevel system,
Lex&Yacc tools, a replay debugger, and a comprehensive library.
</listing>