Given how fast computers are these days there is probably not much overhead in having emacs run as the interpreter for an incrementally compiled language with H

Given how fast computers are these days there is probably not much overhead in having emacs run as the interpreter for an incrementally compiled language with HM types