search for: caml4p

This sounds ambitious and should be very interesting, if you can make it work. The closest example I have heard of is work on metaprogramming (or partial evaluation) by exposing a compiler's parse trees to the programmer, but I suspect that is more limited. I don't know specific references offhand but one of the papers on MetaOCaml (which takes a different approach) may have

Hi, I just wrote up a recent project which I think would be a natural fit with LLVM. I'm curious if y'all see this working well or if you can see any gotchas. Also potentially interested in finding someone comfortable with LLVM who would like to collaborate: Executive summary: What if the syntax and semantics of a programming language were specified in a library, rather than built