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.

Browse thread
Typing Dynamic Typing in ocaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-12-17 (21:28)
From: David Teller <David.Teller@u...>
Subject: Re: [Caml-list] Typing Dynamic Typing in ocaml?
Have you look at Deriving and its Typing module?

On Wed, 2008-12-17 at 14:45 -0500, Jacques Carette wrote:
> I have two (related) questions:
> 1) Has anyone transcribed the TypeRep library into ocaml?
> http://people.cs.uu.nl/arthurb/dynamic.html
> 2) How do I embed 'dynamically known' data into a single ocaml 
> data-structure?

David Teller-Rajchenbach
 Security of Distributed Systems
   Latest News of French Research: System being liquidated. Researchers