On Saturday 28 February 2009 21:21:18 Richard Jones wrote:
> On Sat, Feb 28, 2009 at 03:18:40PM -0500, Kuba Ober wrote:
> > You didn't let us in on how it really works. You said "high-level
> > virtual machine
> > built upon LLVM and written in OCaml". LLVM means too many things to be
> > able to decipher what you mean, and your statement is too general.
>
> I'm still waiting for the open source project ...

I'm working on it. I now have:

. unit, bool, int, float.
. tuples.
. arrays.
. algebraic datatypes.
. function pointers.
. tail calls.
. generic printing.
. catching stack overflows.
. C FFI.
. JIT compilation to high performance native code.

I need to implement closures and a GC before I release anything. Then I'll add 
parametric polymorphism, exceptions and a front end.

-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e