[LLVMdev] ocaml binding question

[Gordon Henriksen]

On Dec 12, 2007, at 08:59, Jon Harrop wrote:

> Well, I'd like this to factor out commonality from the  
> implementations of all managed languages (everything from C++ to  
> Lisp) so I think it should express a typed language with typical  
> control-flow constructs (including exceptions), only first-order  
> functions and parametric polymorphism/generics. The generics should  
> be handled by JIT compiling type-specialized functions on demand.  
> This representation should also be cross-platform.
>
> This could be a language in itself, of course, just as MSIL is but I  
> think you'd want to add pattern match compilation, higher-order  
> functions, an object system and so forth on top of this to make it  
> useful.


Hi Jon,

In this direction, PyPy and Reid's HLVM projects may be of interest to  
you.

— Gordon