Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Reimplementing OCaml on LLVM
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francois Rouaix <francois.rouaix@g...>
Subject: Re: [Caml-list] Reimplementing OCaml on LLVM
As a quick feasability check, you might start by checking if the backend can
actually support OCaml's run-time concepts. ocamlc has two undocumented
options -dlamba and -dinstr which could be used to generate intermediate
representations. Alternatively, JIT from the bytecode might be a quick hack
as well.--f

On Jan 12, 2008 6:55 AM, Jon Harrop <> wrote:

> Many people including myself have shown considerable interest in using the
> LLVM project from OCaml and, in particular, in implementing an entire FPL
> using this approach.
> I'm just wondering if any of the OCaml team would be interested in doing
> or
> helping with a port themselves? I doubt it could count as "work" but I
> think
> there are plenty of opportunities for fun tinkering here. :-)
> Even if the result were only a toy implementation of a language I am sure
> examples would help non-experts enormously in getting to grips with how
> such
> a compiler might be written.
> This also presents an awesome opportunity to address some of the
> shortcomings
> of OCaml's current implementation, such as polymorphism, FFI, unboxing and
> so
> forth and to test alternative approaches.
> --
> Dr Jon D Harrop, Flying Frog Consultancy Ltd.
> _______________________________________________
> Caml-list mailing list. Subscription management:
> Archives:
> Beginner's list:
> Bug reports: