English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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.
Homepage ]
Author:Tiphaine Turpin.
Last modification date:17-Dec-2012
Development status:Beta
Kind: Patch
Topic: Programming languages :: Typing