On 25 Mar 2017, at 22:05, Demi Obenour <demiobenour@xxxxxxxxx> wrote:
I think that Julia might come close. It is designed to combine dynamic
typing with near-C numerical performance – and it delivers. It uses a
different approach (abstract interpretation), but I would not be surprised if
that could be improved upon.
Julia's VM is also pleasingly compact – about 39k lines of C, 18k of C++, 5k
in headers and 8k of Scheme (used for the parser). That includes a full
Scheme VM too. So about the same as LuaJIT. It does delegate the actual
compilation to LLVM, but Julia is designed to have rich type information
available, and that is where LLVM excels. I don't think that includes the
type inference engine, though – I believe that is written in Julia itself
(though I could be wrong).
Attachment:
smime.p7s
Description: S/MIME cryptographic signature