Archives of the Caml mailing list > Message from StÃ©phane Glondu

Browse thread

Typing Dynamic Typing in ocaml?

Jacques Carette
- StÃ©phane Glondu
  - Jacques Carette
    - StÃ©phane Glondu
    - Daniel_Bünzli
- Mikkel_FahnÃ¸e_JÃ¸rgensen
- David Teller
- Mauricio Fernandez
- Yaron Minsky

Date:	-- (:)
From:	StÃ©phane Glondu <steph@g...>
Subject:	Re: [Caml-list] Typing Dynamic Typing in ocaml?

Jacques Carette a Ã©crit :
> 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?
> [...]

You might be interested by the following:

http://gforge.inria.fr/plugins/scmsvn/viewcvs.php/trunk/lib/dyn.ml?rev=5920&root=coq&view=markup


HTH,

-- 
StÃ©phane