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: Jon Harrop <jon@f...>
Subject: Reimplementing OCaml on LLVM

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.