Dynaml provides support for dynamic types in Objective Caml
(O'Caml). Dynamic values provided by dynaml are not type checked by
ocaml at compile-time in the same way static values are. Type checking is
instead performed at runtime.
Dynaml is reasonably stable, but is still experimental software
- 2005-09-15: Release 0-6-alpha. Rewrite of unification, now much
cleaner and less code. Start on overloaded functions.
- 2004-12-12: Release 0-4-alpha. Rewrite of back end. Support for
- 2004-05-25: Release 0-3-alpha. New syntax and other improvements.
- 2004-05-24: Initial public release 0-2-alpha.