[Caml-list] [ANN] RTT: Run-time types for OCaml

[Caml-list] [ANN] RTT: Run-time types for OCaml

[Tiphaine Turpin]

Hello,

I would like to announce the first release of RTT: an implementation of
run-time types for OCaml.

http://rtt.forge.ocamlcore.org/

Run-time types make it possible to write generic printers such as
to_string: 'a -> string (for all 'a) which is useful e.g., for
debugging. The present solution is implemented as a fully automatic
program transformation which supports polymorphism naturally, and is
rather orthogonal to other existing work regarding advanced "typed"
representation of types using GADTs (the representation used here is
untyped).

Using RTT amounts to calling Rtt.to_string, Rtt.pprint... with a
modification of the compilation command to invoke the rtt preprocessor.

This tool is experimental, does not support all OCaml features (GADTs,
objects...), and is unlikely to handle any real-world program readily,
but it can at least bootstrap itself or process most of the standard
library, and it shows the feasibility of this program-transformation
approach.

Any feedback is welcome.
Regards,

Tiphaine Turpin