The Caml Hump: RTT

RTT is a prototype implementation of run-time typing in OCaml. It allows programmers to use functions such as to_string: 'a -> string (for all 'a). The present solution focuses on being fully automatic, and providing the actual run-time type of values (including when it is more precise than the static type, because of polymorphism). On the other side, types are represented in an untyped way (no GADTs) and we only provide a minimal library for the purpose of the demonstration.