[LLVMdev] ocaml binding question
gordonhenriksen at mac.com
Wed Dec 12 15:30:48 PST 2007
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
In this direction, PyPy and Reid's HLVM projects may be of interest to
More information about the llvm-dev