Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Alternative Bytecodes for OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Goerzen <jgoerzen@c...>
Subject: Re: [Caml-list] Alternative Bytecodes for OCaml
[ I'm CCing the people listed as contacts on the OCamil page; I hope you 
don't mind ]

On Wednesday 25 August 2004 09:50 am, John Goerzen wrote:
> On Wednesday 25 August 2004 09:38 am, Richard Jones wrote:
> > On Wed, Aug 25, 2004 at 09:26:28AM -0500, John Goerzen wrote:
> > >  * An ocamlc/ocamlrun that execute under Java or .NET and
> > > compile/run normal OCaml bytecode
> >
> > This interesting project was posted on the Wiki yesterday.  It
> > generates code which runs on the .NET CLR.  I'm not exactly sure
> > how, whether it's a modified compiler, or a translator of OCaml
> > bytecode:
> >
> > http://www.pps.jussieu.fr/~montela/ocamil/
>
> That is indeed interesting.  It looks like they have a good start.
> Unfortunately, there's one huge problem: there is no source code at
> all.  (Doesn't that violate the OCaml license?)

This is a very important point, BTW.

I have been able to take their binaries and see at least something 
happen with Mono:

$ mono ocamiltop.exe

** ERROR **: Invalid IL code at IL0096 in Nativeint.Top:start (): 
IL_0096: shl

Well, it's a start.  With source, I could probably do a lot more.

> They are working in a pure Windows environment and have yet to port
> some libraries such as Str and Unix.  These are both things I can
> help with, but without the source code, it's completely useless to
> me.
>
> > What will be interesting will be to see how well it allows one to
> > call .NET libraries, and how well it works on Mono.
>
> Indeed.  (And how well it allows other .NET programs to call OCaml
> code.)
>
> -- John
>
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr Archives:
> http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs
> FAQ: http://caml.inria.fr/FAQ/ Beginner's list:
> http://groups.yahoo.com/group/ocaml_beginners

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners