Comment by vatsachak

What's the threat? I would use it to write a dependent type theory that is JIT compiled and use it to rewrite emacs.