Have you looked at the CDK's DynEval?

Other than that, it's the kind of thing we'd like to put in Batteries,
so if you write/find a better solution, please make it public.

Cheers,
 David

On Fri, 2008-10-03 at 22:34 +0100, Dawid Toton wrote:
> > I would like an OCaml support library that can compile and execute
> > similar to JaveScript engines, but we don't have that in any practical
> > form.
> > 
> 
> I also need this and I'm thinking about something like this:
> 
> module type Compiler =
> sig
>   val parse : Context.t -> string -> (Context.t * AST.t)
>   val get_type : Context.t -> AST.t -> Type.t;
>   val eval : Context.t -> AST.t -> Context.t * (Type.t * 
> MarshalledValueOrSomething.t)
> end
> 
> Is it really so hard to have it in OCaml? I'm envy of Python's Compiler 
> module.

-- 
David Teller-Rajchenbach
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act
brings liquidations.