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:15)
From: Stéphane Glondu <steph@g...>
Subject: Re: [Caml-list] Typing Dynamic Typing in ocaml?
Jacques Carette wrote:
>> 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.

BTW, I forgot to mention that the .mli is also important.


Cheers,

-- 
Stéphane