[LLVMdev] OCaml

[Jon Harrop]

Hi!

I just took another look at the LLVM project and it has come along in leaps 
and bounds since I last looked. I've been working through the (awesome!) 
tutorial and am now really hyped about the project.

I am particularly interested in using LLVM to write compilers for OCaml-like 
languages in OCaml-like languages. This requires some core functionality that 
would be generically useful:

. Garbage collection tuned for functional programming
. Exceptions
. Some interface to LLVM from OCaml

What work has already been done on this and similar ideas? What is the easiest 
way to interface a front-end written in OCaml with an LLVM backend?

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