Interesting idea but I'm not sure I see the practical benefit. Also, this seems to be implemented as a partial evaluator/compiler for C, and I am not really sur

Interesting idea but I'm not sure I see the practical benefit. Also, this seems to be implemented as a partial evaluator/compiler for C, and I am not really sure C is the best suited language for this kind of isomorphic transformations. Lately I have been doing some reading on term-rewriting systems, and designing a simple string->sexp rewriter, which could form the basis of a compiler or partial evaluator: a compiler is nothing more than parsing into an AST and rewriting AST all the way down to another string (of machine code bytes). A partial evaluator for C would be much easier to write if you first turn it into parsed AST, which would look a lot like S-expressions from Lisp. Anyway, I smile and cringe at the idea of embedding LLVM into the kernel.