Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: RTT

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.
Homepage ]
Author:Tiphaine Turpin.
Last modification date:17-Dec-2012
Version:0.4
Development status:Beta
Kind: Patch
Topic: Programming languages :: Typing
Homepage:http://rtt.forge.ocamlcore.org/