Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Jacques Carette <carette@m...>
Subject: Re: [Caml-list] Typing Dynamic Typing in ocaml?
Stéphane Glondu wrote:
>> 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 
>
Scarily enough, I do believe that that is exactly what I need.  I guess 
I was hoping to avoid Obj, but this may be one of those instances where 
it is indeed the most reasonable compromise.

Jacques