OCaml expression evaluated in a OCaml program

OCaml expression evaluated in a OCaml program

[Nicolas Dufour]

Hello

I try to know if I can evaluate OCaml expressions in a OCaml program 
during runtime ??

Any ideas ?

Thank you

Nicolas Dufour

Re: [Caml-list] OCaml expression evaluated in a OCaml program

[sejourne_kevin]

Nicolas Dufour a écrit :
> I try to know if I can evaluate OCaml expressions in a OCaml program 
> during runtime ??
This is not possible. But you can try something with the toplevel:
http://caml.inria.fr/archives/200404/msg00282.html


Kévin.

Re: [Caml-list] OCaml expression evaluated in a OCaml program

[Nicolas Dufour]

sejourne_kevin wrote:

> Nicolas Dufour a écrit :
>
>> I try to know if I can evaluate OCaml expressions in a OCaml program 
>> during runtime ??
>
> This is not possible. But you can try something with the toplevel:
> http://caml.inria.fr/archives/200404/msg00282.html

damned .. not possible .....
I hope it exists scriptic languages embedded in ocaml ... or i will have 
to create one ... oh boy ....

Re: [Caml-list] OCaml expression evaluated in a OCaml program

[Jon Harrop]

On Monday 07 February 2005 16:13, Nicolas Dufour wrote:
> sejourne_kevin wrote:
> > Nicolas Dufour a écrit :
> >> I try to know if I can evaluate OCaml expressions in a OCaml program
> >> during runtime ??
> >
> > This is not possible. But you can try something with the toplevel:
> > http://caml.inria.fr/archives/200404/msg00282.html
>
> damned .. not possible .....
> I hope it exists scriptic languages embedded in ocaml ... or i will have
> to create one ... oh boy ....

I've done exactly this though, by spitting out an ocaml program, compiling it 
with ocamlopt (linked against the running program) and invoking it using 
marshalling to shuffle data back and forth. This is quite easy to implement 
and is the simplest way to write a JIT compiler in ocaml.

If you don't really want to execute ocaml code but, rather, simple expressions 
then you can write your own interpreter quite easily. Many tutorials cover 
this. If you want to provide access to a few calls in your interpreter then 
you can simply implement them in your own little language. There are many 
tutorials on ocaml which describe simple interpreters.

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.

Re: [Caml-list] OCaml expression evaluated in a OCaml program

[Yaron Minsky]

There's also Lua-ML, which is used by the C-- project as an embedded
scripting language.

http://www.cminusminus.org/code.html#luaml


On Mon, 7 Feb 2005 16:47:29 +0000, Jon Harrop <jon@jdh30.plus.com> wrote:
> On Monday 07 February 2005 16:13, Nicolas Dufour wrote:
> > sejourne_kevin wrote:
> > > Nicolas Dufour a écrit :
> > >> I try to know if I can evaluate OCaml expressions in a OCaml program
> > >> during runtime ??
> > >
> > > This is not possible. But you can try something with the toplevel:
> > > http://caml.inria.fr/archives/200404/msg00282.html
> >
> > damned .. not possible .....
> > I hope it exists scriptic languages embedded in ocaml ... or i will have
> > to create one ... oh boy ....
> 
> I've done exactly this though, by spitting out an ocaml program, compiling it
> with ocamlopt (linked against the running program) and invoking it using
> marshalling to shuffle data back and forth. This is quite easy to implement
> and is the simplest way to write a JIT compiler in ocaml.
> 
> If you don't really want to execute ocaml code but, rather, simple expressions
> then you can write your own interpreter quite easily. Many tutorials cover
> this. If you want to provide access to a few calls in your interpreter then
> you can simply implement them in your own little language. There are many
> tutorials on ocaml which describe simple interpreters.
> 
> --
> Dr Jon D Harrop, Flying Frog Consultancy Ltd.
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

Re: OCaml expression evaluated in a OCaml program

[Vincenzo Ciancia]

Jon Harrop wrote:

> 
> I've done exactly this though, by spitting out an ocaml program, compiling
> it with ocamlopt (linked against the running program) and invoking it
> using marshalling to shuffle data back and forth. This is quite easy to
> implement and is the simplest way to write a JIT compiler in ocaml.

I believe there are "eval" implementations in the humps or around on the net
- there are also on-the-fly compilers and loaders.

V.

-- 
Please note that I do not read the e-mail address used in the from field but
I read vincenzo_ml at yahoo dot it
Attenzione: non leggo l'indirizzo di posta usato nel campo from, ma leggo
vincenzo_ml at yahoo dot it

Re: [Caml-list] OCaml expression evaluated in a OCaml program

[Robert Roessler]

Jon Harrop wrote:

> ...
> If you don't really want to execute ocaml code but, rather, simple expressions 
> then you can write your own interpreter quite easily. Many tutorials cover 
> this. If you want to provide access to a few calls in your interpreter then 
> you can simply implement them in your own little language. There are many 
> tutorials on ocaml which describe simple interpreters.

Or there is Ocs (http://will.iki.fi/software/ocs/) - from their page:

"Ocs is an implementation of Scheme, as defined by R5RS. It is
implemented entirely in OCaml and is suitable for embedding in OCaml
programs. It is free, open source software, distributed under a
permissive (two-clause) BSD-style license."

Robert Roessler
robertr@rftp.com
http://www.rftp.com

Re: [Caml-list] OCaml expression evaluated in a OCaml program

[Brock]

Eh? In the archive message I gave an example of it being possible. I
even wrapped it up in a lovely library... see

  * http://thelackthereof.org/wiki.pl/OCaml_Eval

Though, as the website says, "This is a horrid thing that you probably
shouldn't do..."

If you want to do it the Right Way, then use MetaOCaml.

  * http://www.metaocaml.org/

--Brock

On 2005.02.07.11.13, Nicolas Dufour wrote:
| sejourne_kevin wrote:
| 
| >Nicolas Dufour a ?crit :
| >
| >>I try to know if I can evaluate OCaml expressions in a OCaml program 
| >>during runtime ??
| >
| >This is not possible. But you can try something with the toplevel:
| >http://caml.inria.fr/archives/200404/msg00282.html
| 
| damned .. not possible .....
| I hope it exists scriptic languages embedded in ocaml ... or i will have 
| to create one ... oh boy ....
| 
| _______________________________________________
| Caml-list mailing list. Subscription management:
| http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
| Archives: http://caml.inria.fr
| Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
| Bug reports: http://caml.inria.fr/bin/caml-bugs